**measurable space**if and only if

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

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

Definition D1108

Measurable space

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$ |

Children

▶ | Measurable map |

▶ | Measurable set |

▶ | Measurable space isomorphism |

▶ | Measure space |