正交补格

orthocomplemented lattice