Assertion: set | /r/CapableOf | form lattice
Facets:
Source sentences:
text: Each set of elements has a least upper bound and a greatest lower bound, so that it forms a lattice, and more specifically (for partitions of a finite set) it is a geometric lattice.