Assertion: complement | /r/HasProperty | element
Facets:
Source sentences:
text: 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 such that