La imagen de cualquier par formula_3 bajo la operación formula_4 se representa por formula_5, en lugar de formula_6 o de formula_7.