Ontify
Set on which a generalization of volumes and integrals is defined; measurable space with a fixed measure.