(mathematics, especially lattice theory) An element of an ortholattice which is the result of applying an orthocomplementation function to a given element (of that ortholattice) (of which it is said to be the orthocomplement).

(mathematics, of a lattice) Having orthocomplementation.

plural of orthocomplement

plural of orthocomplementation

(mathematics) An involution on a complemented lattice which is order-reversing and maps each element to a complement.