## 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