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