Definition:Space of Positive Real-Valued Measurable Functions