Assertion: real number | /r/HasProperty | constructed by completion
Facets:
value: from the rational numbers
type: OTHER
Source sentences:
text: The real numbers can be constructed from the rational numbers by completion, using Cauchy sequences, Dedekind cuts, or infinite decimals (see Construction of the real numbers).