Definition:Positive Cut

Definition
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.

Also known as
What defines as a positive cut is referred to by some sources as a non-negative cut.

Such sources call a positive cut what refer to as a strictly positive cut.

Also see

 * Definition:Negative Cut
 * Definition:Strictly Negative Cut