Definition:Absolute Value of Real Number