Lattice isomorphism theorem