y esta operación, que da un magma medial puede tener neutro bilátero sólo si es un monoide conmutativo (si y sólo si, por supuesto).