This is an old revision of the document!
Measurable space
Set
$ X $ |
$ \langle X,\Sigma\rangle\in \mathrm{MeasurableSpace}(X) $ |
$ \Sigma \in \mathrm{SigmaAlgebra}(X) $ |
Discussion
Every σ-algebra gives us a measureable space.
Predicates
We call a set $X$ measurable if there is a sigma-algebra over it.
Reference
Wikipedia: Sigma-algebra