Assertion: complement | /r/CapableOf | satisfy a ∨ b = 1
Facets:
Source sentences:
text: In the mathematical discipline of order theory, a complemented lattice is a bounded lattice (with least element 0 and greatest element 1), in which every element a has a complement, i.e. an element b satisfying a ∨ b = 1 and a ∧ b = 0.