Definition:Negative Cut/Strictly Negative

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\alpha$ be a cut.

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

Let $\alpha < 0^*$.


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


Also known as

What $\mathsf{Pr} \infty \mathsf{fWiki}$ defines as a strictly negative cut is referred to by some sources as a negative cut.

What $\mathsf{Pr} \infty \mathsf{fWiki}$ refer to as a negative cut, such sources call a non-positive cut


Also see


Sources