Assertion: set's number | /r/HasProperty | complete
Facets:
value: to the open interval
type: TEMPORAL
Source sentences:
text: (This limit exists because the real numbers are complete.)
text: An example is given by the real numbers, which are complete but homeomorphic to the open interval (0,1), which is not complete.