Orthocomplemented lattice

From Free net encyclopedia