On la fórmula _ 11 és la inclusió natural sobre el primer factor i la fórmula _ 12 és la projecció natural sobre el segon factor .
On la Fórmula 11 és la integració natural sobre el factor natural i la Fórmula 12 és la primera projecció sobre el segon factor.