Measure space

Set

 context $X$ definiendum $\langle\!\langle X,\Sigma,\mu \rangle\!\rangle$ in it postulate $\Sigma \in \mathrm{SigmaAlgebra}(X)$ postulate $\mu\in \mathrm{Measure}(\Sigma)$

Discussion

A measure space is a measurable space together with a fixed measure.

Reference

Wikipedia: Measure