## Measurable space

### Set

context | $ X $ |

definiendum | $ \langle X,\Sigma\rangle\in \mathrm{MeasurableSpace}(X) $ |

postulate | $ \Sigma \in \mathrm{SigmaAlgebra}(X) $ |

### Discussion

Every σ-algebra gives us a measurable space.

#### Predicates

We call a set $X$ *measurable* if there is a sigma-algebra over it.

### Reference

Wikipedia: Sigma-algebra