**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})$ |

▾ 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

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Subset

▾ Power set

▾ Hyperpower set sequence

▾ Hyperpower set

▾ Hypersubset

▾ Subset algebra

▾ Subset structure

▾ Measurable 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

Child definitions

» D4248: Almost everywhere constant map

» D2940: Measure-preserving endomorphism

» D1732: Pushforward measure

» D2940: Measure-preserving endomorphism

» D1732: Pushforward measure

Results