Assertion: set | /r/HasAspect | a least upper bound
Facets:
value: similarly
type: MANNER
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.
text: Similarly, the set ℤ of integers has the least-upper-bound property; if S is a nonempty subset of ℤ and there is some number n such that every element s of S is less than or equal to n, then there is