Assertion: algorithm's set | /r/HasAspect | a smallest member
Facets:
Source sentences:
text: This principle relies on the well-ordering property of the non-negative integers, which asserts that every non-empty set of non-negative integers has a smallest member.