Relatively complemented lattice