Definition:Measurable Function/Extended Real-Valued Function