complemented_lattice