Congruence relations on orthomodular lattices
Peter D. Finch · Journal of the Australian Mathematical Society · 1966
We denote lattice join and meet by ∨ and ∧ respectively and the associated partial order by ≧. A lattice L with 0 and I is said to be orthocomplemented if it admits a dual automorphism x → x′, that is a one-one mapping of L onto itself such that which is involutive, so that for each x in L and, further, is such that for each x in L.