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

Parents

Equivalent to

σ-algebra