Dedekind cut

two nonempty subsets of an ordered field, as the rational numbers, such that one subset is the collection of upper bounds of the second and the second is the collection of lower bounds of the first: can be used to define the real numbers in terms of the rational numbers.