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