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

Definition D1159

Probability space

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

Children

▶ | Event |

▶ | Independent event collection |

▶ | Sample space |

▶ | Standard uniform discrete probability space |

Results