Assertion: complement | /r/HasProperty | unique
Facets:
value: in distributive lattices
type: LOCATION
Source sentences:
text: In distributive lattices, complements are unique.