Stelling: Voor iedere x en y gelden de onderstaande eigenschappen.
  1. |x|=|x|
  2. |xy|=|x||y|
  3. |x|x|x|
Bewijs:

1. We splitsen het bewijs op in drie delen: x>0, x=0 en x<0. We nemen eerst aan dat x>0. Dan |x|=x. Omdat x<0 geldt dat |x|=(x)=x. Dus |x|=|x|.

Vervolgens nemen we aan dat x=0. Dan |x|=0 en |x|=0. Dus |x|=|x|.

Uiteindelijk nemen we aan dat x<0. Dan |x|=x. Omdat x>0 geldt verder |x|=x. Dus |x|=|x|.