Donde la Fórmula 11 es la inclusión natural del factor natural y la Fórmula 12 es la primera proyección del segundo factor.
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.