orthocomplemented lattice

Мат. решетка с ортогональными дополнениями