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

▶ | D1716: Event |

▶ | D1720: Independent event collection |

▶ | D1673: Sample space |

▶ | D6122: Standard uniform discrete probability space |

Results