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