Definition:Absolute Value of Cut

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\alpha$ be a cut.


The absolute value of $\alpha$ is denoted and defined as:

$\size \alpha = \begin {cases} \alpha & : \alpha \ge 0^* \\ -\alpha & : \alpha < 0^* \end {cases}$

where:

$0^*$ denotes the rational cut associated with the (rational) number $0$
$\ge$ denotes the ordering on cuts.


Sources