Angeordneter Körper/Betrag/Definition

Betrag (angeordneter Körper)

In einem angeordneten Körper ${}K$ ist der Betrag eines Elementes ${}x\in K$ folgendermaßen definiert.

$\mid \!x\!\mid ={\begin{cases}x,\,{\text{ falls }}x\geq 0\,,\\-x,\,{\text{ falls }}x<0\,.\end{cases}}$