Definition:Dedekind Cut/Also defined as

Definition
The Dedekind cut is usually defined the set of real numbers $\R$.