Condition for Rational Cut to be Less than Given Cut

Theorem
Let $\alpha$ be a cut.

Let $p^*$ be the rational cut associated with a rational number $p$.

Then:
 * $p \in \alpha$


 * $p^* < \alpha$
 * $p^* < \alpha$

where $<$ denotes the strict ordering on cuts.