https://www.glc.us.es/~jalonso/calculemus/si-r-es-un-reticulo-tal-que-%e2%88%80-x-y-z-%e2%88%88-r-x-%e2%8a%93-y-%e2%8a%94-z-x-%e2%8a%93-y-%e2%8a%94-x-%e2%8a%93-z-entonces-%e2%88%80-a-b-c-%e2%88%88-r-a-%e2%8a%94-b-%e2%8a%93-c/
Si R es un retículo tal que (∀ x y z ∈ R, x ⊓ (y ⊔ z) = (x ⊓ y) ⊔ (x ⊓ z))), entonces (∀ a b c ∈ R, (a ⊔ b) ⊓ c = (a ⊓ c) ⊔ (b ⊓ c))