絶対値
任意の順序環 R に対して、0 を R の加法単位元、"−a" は a の加法逆元とすれば、実数の場合とまったく同じく
| a | := { a ( a ≥ 0 ) − a ( a < 0 ) {\displaystyle |a|:={\begin{cases}a&(a\geq 0)\\-a&(a<0)\end{cases}}}
として絶対値が定義される。