definable real number

real number uniquely specified by description

Categories: