modulus (of a real number)

of: a real number

is denoted: by [M1.2, P2.7]

is defined: by [M1.2, P2.7]

is always: positive. [M1.2, P2.7]

is synonymous: with the absolute value or magnitude.