Measurable space/Definition

Set together with a sigma-algebra of subsets of this set.