If I am proving a lattice is non-distributive i.e. is shown it isomorphic to one of the two lattices in the theorem, is there a quick way to prove it is isomorphic without going through every vertex and showing for every vertex?
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?