Originally Posted by

**dwsmith** I have lattice I want to show is isomorphic to another lattice that is always non-distributive so can I prove the lattice is non-distributive. In order to show it is isomorphic, I must show all $\displaystyle \displaystyle \forall a,b\in L \ glb(a,b)=glb(x,y) \ x,y\in L_2 \ \mbox{and} \ lub(a,b)=lub(x,y)$

glb=greatest lower bound

lub=least upper bound

L is the lattice I want to show is isomorphic to L2 since L2 is always non-distributive.

If I check the glb and lub for ever combination of as and bs, I will have to do this 48 times. Is there a simpler way?