Dedekind cut
A Dedekind cut in an ordered field is a partition of it, ("A", "B"), such that "A" is nonempty and closed downwards, "B" is nonempty and closed upwards, and "A" contains no greatest element. Real numbers can be constructed as Dedekind cuts of rational numbers.