Measure space/Definition

Set together with a sigma-algebra of subsets of the set and a measure defined on this sigma-algebra.