Assertion: choice | /r/AtLocation | many cases
Facets:
value: without invoking the axiom of choice
type: MANNER
Source sentences:
text: In many cases, such a selection can be made without invoking the axiom of choice; this is in particular the case if the number of sets is finite, or if a selection rule is available – some distinguishing property that happens to hold for exactly one element in each set.