Inversamente, asuma que el ejemplo básico es sobre un monoide conmutativo con x T y = a(x) + b(y), como a(0) = 0 = b(0) entonces 0 T 0 = 0 es decir idempotente y x T 0 = a(x), 0 T y = b(y).