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.
New to topics? Read the docs here!