real number

a real number is an element of the set of real numbers.