Definition:Negative Cut

Definition
Let $\alpha$ be a cut.

Let $0^*$ be the rational cut associated with the (rational) number $0$.

Let $\alpha \le 0^*$.

Then $\alpha$ can be referred to as a negative cut.

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

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

Also see

 * Definition:Positive Cut
 * Definition:Strictly Positive Cut