Definition:Positive Measurable Function