Assertion: set's subset | /r/HasAspect | first element
Facets:
value: with respect to that order
type: OTHER
Source sentences:
text: The axiom of choice guarantees that every set can be well-ordered, which means that a total order can be imposed on its elements such that every nonempty subset has a first element with respect to that order.