methods to construct finite lattices added