En "grupos abelianos aditivos", la propiedad conmutativa se expresa de esta manera: