ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F789 on D1159: Probability space
F789
Formulation 0
A D5107: Triple $M = (X, \mathcal{F}, \mu)$ is a probability space if and only if
(1) $M = (X, \mathcal{F})$ is a D1108: Measurable space
(2) $\mu$ is a D198: Probability measure on $M$