Difference between revisions of "Pre-measure space"