Difference between revisions of "Premeasurable space/Definition"