Noun
(plural orthocomplementations)
- (mathematics) An involution on a complemented lattice which is order-reversing and maps each element to a complement.
Origin
ortho- + complementation
