Où Formule 11 est l'inclusion naturelle du facteur naturel et Formule 12 est la première projection du second facteur.
Où formule 11 est l'inclusion naturelle sur le premier facteur et formule 12 la projection naturelle sur le second facteur.