Si formula_5 es un número real, su valor absoluto es un número real no negativo definido de las dos siguientes maneras: