Dedekind cut

A Dedekind cut is a concept in real analysis and set theory used to construct the real numbers from the rational numbers. It is named after the German mathematician Richard Dedekind, who introduced this method in the 19th century.