Ello ye que la conmutatividá ye un casu particular del conceutu de función simétrica. Nefeutu, una operación binaria en M nun ye más quuna aplicación μ: Mxa0×xa0M  M, y afirmar questa ye simétrica, μ(x,y) = μ(y,x), ye esautamente lo mesmo que lo que rique la propiedá conmutativa.