Real

the set of real numbers

see math notation

definition

a real number is a value of a continuous quantity that can represent a distance along a line --- Wikipedia

properties

RR < CC

the reals are a metric space› completion of the rationals with the real› absolute value metric space › metric. see p-adic

Real Absolute Value

the distance from a real to zero

see field › absolute value, p-adic› absolute value

notation (:^^.) x with RR x

definition (:^^.) x

note the real› absolute value follows the field › absolute value axioms