有余格

complemented lattice