En este ejemplo 0 T 0 = t si 0 es neutro del semigrupo.