17.19. Definíció
Az egész számok abszolútértéke
Definiáljunk egy f:\Z \to \N függvényt a következőképpen:
f(a) = \begin{cases} a &\text{ha } a\geq 0 \\ -a &\text{ha } a\lt 0 \end{cases}
Ekkor az f(a) természetes számot az a egész szám abszolút értékének, az f függvényt pedig abszolútérték-függvénynek nevezzük. Az a egész szám abszolút értékének jelölése: |a|.
♣