Definición Sea un Conjunto dado en el que se han definido la operación binaria . Dado dos elementos estos se dicen que conmutan cuando Por lo tanto, una operación es conmutativa cuando dos elementos cualquiera conmutan.