orthocomplementation
English
[edit]Etymology
[edit]From ortho- + complementation.
Noun
[edit]orthocomplementation (plural orthocomplementations)
- (mathematics) An involution on a complemented lattice which is order-reversing and maps each element to a complement.