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
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?