Definition:Space of Positive Measurable Functions