Assertion: real number's representation | /r/HasProperty | given by continuous functions
Facets:
Source sentences:
text: He calls the proof "an instructive exercise in elementary point-set topology"; it involves viewing sets of positional values as Stone spaces and noticing that their real representations are given by continuous functions.