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$