In mathematics, Dedekind cuts, named after German mathematician Richard Dedekind, are а method of construction of the real numbers from the rational numbers. Wikipedia