Where Formula 11 is the natural inclusion of the natural factor and Formula 12 is the first projection of the second factor .
Where formula _ 11 is the natural inclusion over the first factor and formula _ 12 is the natural projection over the second factor .