The AI-powered English dictionary
plural orthocomplementations
(mathematics) An involution on a complemented lattice which is order-reversing and maps each element to a complement. examples