Absolute value and its properties