The axiom of completeness. The infimum and supremum of a subset of the real numbers.