**complete measure space**if and only if

(1) | $M = (X, \mathcal{F}, \mu)$ is a D1158: Measure space |

(2) | $\mu$ is a D1704: Complete measure |

*forms a complete measure space*.

▾ 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

▾ 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

Formulation 0

A D63: Finite sequence $M = (X, \mathcal{F}, \mu)$ is a **complete measure space** if and only if

We then say that $X$ *forms a complete measure space*.

(1) | $M = (X, \mathcal{F}, \mu)$ is a D1158: Measure space |

(2) | $\mu$ is a D1704: Complete measure |

Child definitions