Definition:Absolute Value of Extended Real-Valued Function