Assertion: set's subset | /r/HasProperty | countable
Facets:
Source sentences:
text: Any discrete subset S of Euclidean space must be countable, since the isolation of each of its points together with the fact the rationals are dense in the reals