En la definición de cada tipo de estructura algebraica impone que estas operaciones cumplan ciertas propiedades, entre las que puede estar la propiedad conmutativa.