orthocomplement
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).
Noun
- 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).
Origin
From ortho- + complement.