Episode I

Alice és Bob

. rész: 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 nevezzük. Ennek jelölése: |a|.