MathGloss
A $\sigma$-algebra on the set $X$ is a subset $\mathcal M \subset \mathcal P(X)$ of the power set of $X$ satisfying the following properties:
- $X \in \mathcal M$;
- $\mathcal M$ is closed under complementation, i.e. if $A \in \mathcal M$, then $X\setminus A \in \mathcal M$;
- $\mathcal M$ is closed under countable unions, i.e. if $A_i \in \mathcal M$ for $i \in \mathbb N$, then $\bigcup\limits_{i\in\mathbb N} A_i \in \mathcal M$.
Wikidata ID: Q217357