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

3. We delen het bewijs op in drie delen. We nemen eerst aan dat x<0. Vervolgens nemen we aan dat x=0 en uiteindelijk nemen we aan dat x>0.

Neem aan dat x<0. Dan |x|=x en daarom |x|=x wat impliceert dat |x|x. Verder geldt dat |x|>|x|=x wat impliceert dat x|x|.

Neem aan dat x=0. Dan |x|=0 wat impliceert dat |x|=x=|x| en daarom geldt |x|x|x|.

Neem aan dat x>0. Dan |x|=x en daarom x|x|. Verder geldt dat |x|<|x|=x wat impliceert dat |x|x.