complete_lattice