Assertion: set | /r/MadeOf | exactly one element
Facets:
value: from each set
type: OTHER
Source sentences:
text: Choice: For every set \(A\) of pairwise-disjoint non-empty sets, there exists a set that contains exactly one element from each set in \(A\).