A Dedekind cut in an ordered field is a partition of it, (A, B), such that A is closed downwards, B is closed upwards and A has no maximum.
The Dedekind cut is named after Richard Dedekind, who invented this construction in order to represent the real numbers as Dedekind cuts of the rational numbers.
- this is a stub article
See also: