Dabei ist Formel 11 der natürliche Einschluss über den ersten Faktor und Formel 12 ist die natürliche Projektion über den zweiten Faktor.
Dabei ist Formel 11 die natürliche Integration über dem natürlichen Faktor und Formel 12 die erste Projektion auf den zweiten Faktor.