Ejemplo básico de medialidad o abelianidad (viejo) (es decir un objeto auto-magma con una operación binaria T que satisface (x T y) T (u T z) = (x T u) T (y T z)) x T y = a(x) + b(y) + t puros en un semigrupo conmutativo (no necesariamente con identidad) con a y b endomorfismos que conmutan y t un elemento fijo en el semigrupo.