real number

[cite:;refer to @analysis_cummings_2019 chapter 1 the reals; theorem 1.20]
a real number is an element of the set of real numbers.