Definition:Space of Positive Simple Functions