orthocomplementation
suomi-englanti sanakirjaorthocomplementation englanniksi
An involution on a complemented lattice which is order-reversing and maps each element to a complement.
An involution on a complemented lattice which is order-reversing and maps each element to a complement.