This is an old revision of the document!
σ-algebra
Set
context | $X$ |
postulate | $ \Sigma\in \mathrm{SigmaAlgebra}(X) $ |
postulate | $\Sigma\subseteq \mathcal P(X)$ |
postulate | $ \Sigma\ne\emptyset $ |
context | $E\in\Sigma$ |
$A\in\mathrm{Sequence}(\Sigma)$ | |
range | $n\in \mathbb N$ |
postulate | $ X\smallsetminus E \in \Sigma $ |
postulate | $ \bigcup_{i=1}^n A_i \in \Sigma $ |
Ramifications
Reference
Wikipedia: Sigma-algebra