**measure space**if and only if

(1) | $(X, \mathcal{F})$ is a D1108: Measurable space |

(2) | $\mu$ is an D85: Unsigned basic measure on $(X, \mathcal{F})$ |

Definition D1158

Measure space

Formulation 0

A D5107: Triple $M = (X, \mathcal{F}, \mu)$ is a **measure space** if and only if

(1) | $(X, \mathcal{F})$ is a D1108: Measurable space |

(2) | $\mu$ is an D85: Unsigned basic measure on $(X, \mathcal{F})$ |

Subdefinitions

▶ | Probability space |

Children

▶ | Almost everywhere constant map |

▶ | Measure-preserving endomorphism |

▶ | Probability space |

▶ | Pushforward measure |

Results