relatively complemented lattice