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 Einbeziehung des natürlichen Faktors und Formel 12 ist die erste Projektion des zweiten Faktors.