Definition:Measurable Extended Real-Valued Function