Definition:Dedekind Cut

Definition
Let $\struct {S, \preceq}$ be a totally ordered set.

Also defined as
This definition is usually made with respect to the set of real numbers $\R$.

Also known as
A Dedekind cut is also known as a Dedekind section.

Also see

 * Equivalence of Definitions of Dedekind Cut


 * Dedekind's Theorem
 * Definition:Dedekind Complete