Measure space ($(X,\mathcal{M},\mu )$)

A measure space is a set $X$, a sigma-algebra $\mathcal{M}$ on it, and a measure $\mu$ defined on $\mathcal{M}$.