Demostrar que para todo par de elementos de un retículo, , se tiene :

Respuesta 2

La primera condición implica la segunda :



donde hemos aplicado los axiomas de conmutatividad y absorción.
La segunda condición implica la primera :



donde hemos aplicado el axioma de absorción. c.q.d.