Lattice isomorphism