Dada una operación binaria formula_2 un conjunto "M", se dice que dos elementos "x", "y" de "M" conmutan (o que son "permutables") cuando se cumple que "x"formula_2"y" = "y"formula_2"x".