Complemented lattice