Arrangement properties of real numbers
Category. Axioms of arrangement
B. Upper and lower bound, the supreme, The lowest
C. completeness axiom
Every nonempty subset of R that is bounded above has a supremum.
D. Axiom of Archimedes
For two positive real numbers a, b there is always a natural number n, so that n a > b.
E. Rules for inequalities
F. amount