**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$ |

0. Set of symbols

1. Alphabet

2. Deduction system

3. Theory

4. Zermelo-Fraenkel set theory

5. Set

6. Subset

7. Power set

8. Hyperpower set sequence

9. Hyperpower set

10. Hypersubset

11. Subset algebra

12. Subset structure

13. Measurable space

14. Measure space

1. Alphabet

2. Deduction system

3. Theory

4. Zermelo-Fraenkel set theory

5. Set

6. Subset

7. Power set

8. Hyperpower set sequence

9. Hyperpower set

10. Hypersubset

11. Subset algebra

12. Subset structure

13. Measurable space

14. Measure space

Formulation 0

A D5107: Triple $P = (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$ |

Also known as

Stochastic space, Probability calculus

Child definitions

Results