Si formula_16 tiene una presentación formula_1 y formula_78 una presentación formula_103 con formula_104 y formula_105 disjuntos, entonces el producto directo de formula_16 y formula_78 tiene una presentación formula_116, donde formula_117 representa las relaciones necesarias para que todo elemento de formula_104 conmute con todo elemento de formula_105.