**complete probability space**if and only if

(1) | $P = (\Omega, \mathcal{F}, \mathbb{P})$ is a D1159: Probability space |

(2) | $\mathbb{P}$ is a D3774: Complete probability measure |

▾ Set of symbols

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Subset

▾ Power set

▾ Hyperpower set sequence

▾ Hyperpower set

▾ Hypersubset

▾ Subset algebra

▾ Subset structure

▾ Measurable space

▾ Measurable set

▾ Null measurable set

▾ Subnull set

▾ Complete measure

▾ Complete measure space

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Subset

▾ Power set

▾ Hyperpower set sequence

▾ Hyperpower set

▾ Hypersubset

▾ Subset algebra

▾ Subset structure

▾ Measurable space

▾ Measurable set

▾ Null measurable set

▾ Subnull set

▾ Complete measure

▾ Complete measure space

Formulation 0

A D5107: Triple $P = (\Omega, \mathcal{F}, \mathbb{P})$ is a **complete probability space** if and only if

(1) | $P = (\Omega, \mathcal{F}, \mathbb{P})$ is a D1159: Probability space |

(2) | $\mathbb{P}$ is a D3774: Complete probability measure |