Dedekind section

A set partition of the rational numbers into two nonempty subsets S_1 and S_2 such that all members of S_1 are less than those of S_2 and such that S_1 has no greatest member. Real numbers can be defined using either Dedekind cuts or Cauchy sequences.

Cantor-Dedekind axiom | Cauchy sequence