An orthoset is a non-empty set together with a symmetric and irreflexive binary relation ⊥ , called the orthogonality relation. An orthoset with 0 is an orthoset augmented with an additional element 0, called falsity, which is orthogonal to every element... ...
