Assertion: real number's property | /r/HasProperty | technical inconvenience
Facets:
Source sentences:
text: In set theory, specifically descriptive set theory, the Baire space is used as a surrogate for the real numbers since the latter have some topological properties (connectedness) that are a technical inconvenience.