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

Definition D1678

Complete measure space

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 |

Children

▶ | D3775: Complete probability space |