Measurable space

$ \newcommand{\R}{\mathbb R} \newcommand{\Om}{\Omega} \newcommand{\A}{\mathcal A} \newcommand{\P}{\mathbf P} $

A set with a distinguished σ-algebra of subsets (called measurable). More formally: a pair $(X,\A)$ consisting of a set $X$ and a σ-algebra $\A$ of subsets of $X$.

Examples: $\R^n$ with the Borel σ-algebra; $\R^n$ with the Lebesgue σ-algebra.

References

[1]	Terence Tao, "An introduction to measure theory", AMS (2011)