Real numbers/Modulus/Definition

Modulus of a real number

For a real number , the modulus is defined in the following way.