Wiktionary
orthocomplementation
n. (context mathematics English) An involution on a complemented lattice which is order-reverse and maps each element to a complement.