Definition:Measurable Real-Valued Function