orthocomplement (English, noun)
expansion: orthocomplement (plural orthocomplements)
Senses:
topics: mathematics
sciences
qualifier: especially lattice theory
glosses: 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).
Forms:
form: orthocomplements
tags: plural