Measurable space
Set
| context | X |
| definiendum | ⟨X,Σ⟩∈MeasurableSpace(X) |
| postulate | Σ∈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
