A D5107: Triple $M = (X, \mathcal{F}, \mu)$ is a measure space if and only if

(1)	$(X, \mathcal{F})$ is a D1108: Measurable space
(2)	$\mu$ is an D85: Unsigned basic measure on $(X, \mathcal{F})$