▾ 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
Complete probability 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