orthocomplement

English

Etymology

From ortho- +‎ complement.

Noun

orthocomplement (plural orthocomplements)

  1. (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).

Hyponyms