Dabei ist Formel 11 der natürliche Einschluss über den natürlichen Faktor und Formel 12 die erste 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.