Measurable Space

A measurable space is a pair $(X,\Sigma )$ with $X:\mathrm{Set}$, and $\Sigma :\sigma \text{-algebra}$. (sigma-algebra)