En efecto, una operación binaria en "M" no es más que una aplicación μ: "M" × "M" formula_1 "M", y afirmar que esta es simétrica, μ("x","y") = μ("y","x"), es exactamente lo mismo que lo que requiere la propiedad conmutativa.