Donde la fórmula _ 11 es la inclusión natural sobre el primer factor y la fórmula _ 12 es la proyección natural sobre el segundo factor.
Donde la Fórmula 11 es la integración natural sobre el factor natural y la Fórmula 12 es la primera proyección en el segundo factor.