Definition:Extended Real Valued Function