measure space

The combined data $(X,\mathcal{S},\mu )$ where X is a set, $\mathcal{S}$ is a 20231205121417-sigma_algebra on X and $\mu :\mathcal{S}\to \mathbb{R}$ is a measure. Sometimes it’s denoted $(X,\mathcal{S})$ when the measure is obvious.