Definition:Space of Positive Extended Real-Valued Measurable Functions