Assertion: set's subset | /r/HasAspect | minimal element
Facets:
Source sentences:
text: The Axiom of Choice is equivalent, modulo ZF, to the Well-ordering Principle, which asserts that every set can be well-ordered, i.e., it can be linearly ordered so that every non-empty subset has a minimal element.