Por tanto "L" es un "semirretículo" con respecto a cada operación por separado, es decir, un semigrupo conmutativo, con idempotencia de cada uno de sus elementos.