Assertion: set's element | /r/HasProperty | dense
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.