Cuando para cualesquiera formula_14 de formula_1 se cumple formula_19, se dice que la operación formula_4 es conmutativa.