Definition:Absolute Value of Real-Valued Function