orthocomplementation

ortho- +‎ complementation

orthocomplementation (plural orthocomplementations)

1. (mathematics) An involution on a complemented lattice which is order-reversing and maps each element to a complement.