**measurable space**if and only if

(1) | $X$ is a D11: Set |

(2) | $\mathcal{F}$ is a D84: Sigma-algebra on $X$ |

▾ 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

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Subset

▾ Power set

▾ Hyperpower set sequence

▾ Hyperpower set

▾ Hypersubset

▾ Subset algebra

▾ Subset structure

Formulation 0

An D548: Ordered pair $M = (X, \mathcal{F})$ is a **measurable space** if and only if

(1) | $X$ is a D11: Set |

(2) | $\mathcal{F}$ is a D84: Sigma-algebra on $X$ |

Also known as

Measurable subset structure

Child definitions