orthocomplementation
An involution on a complemented lattice which is order-reversing and maps each element to a complement.
Noun
- An involution on a complemented lattice which is order-reversing and maps each element to a complement.
Origin
From ortho- + complementation.