Definition:Real Number/Axioms

Definition
The properties of the field of real numbers $\struct {\R, +, \times, \le}$ are as follows:

These are called the real number axioms.