Assertion: real number | /r/HasProperty | separable
Facets:
value: as a topological space
type: OTHER
Source sentences:
text: As a topological space, the real numbers are separable.