Assertion: set's subset | /r/MadeOf | exactly one representative
Facets:
Source sentences:
text: The uncountably many elements of R/Q partition R, and each element is dense in R. Each element of R/Q intersects , and the axiom of choice guarantees the existence of a subset of  containing exactly one representative out of each element of R/Q. A set formed this way is called a Vitali set.