Assertion: set | /r/HasAspect | a greatest lower bound
Facets:
value: greatest lower
type: DEGREE
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.