Assertion: set's subset | /r/HasAspect | a least element
Facets:
Source sentences:
text: A simple counting argument will verify that any non-empty finite totally ordered set (and hence any non-empty subset thereof) has a least element.