Assertion: set's subset | /r/MadeOf | exactly one element
Facets:
value: from each part of the partition
type: LOCATION
Source sentences:
text: The axiom of choice guarantees for any partition of a set X the existence of a subset of X containing exactly one element from each part of the partition.