**bottom measurable space**if and only if

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

(2) | $\mathcal{F}$ is a D1916: Bottom 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

▾ Boolean algebra

▾ Sigma-algebra

▾ Bottom sigma-algebra

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Subset

▾ Power set

▾ Hyperpower set sequence

▾ Hyperpower set

▾ Hypersubset

▾ Subset algebra

▾ Boolean algebra

▾ Sigma-algebra

▾ Bottom sigma-algebra

Formulation 0

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

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

(2) | $\mathcal{F}$ is a D1916: Bottom sigma-algebra on $X$ |

Child definitions