\begin{definition}[Definition:Positive Cut]
Let $\alpha$ be a cut.
Let $0^*$ be the rational cut associated with the (rational) number $0$.
Let $\alpha \ge 0^*$.
Then $\alpha$ can be referred to as a '''positive cut'''.
\end{definition}