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