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