Assertion: set | /r/HasAspect | a smallest element
Facets:
Source sentences:
text: More generally, if a set has a smallest element, then the smallest element is the infimum for the set.