smallest_generated

Smallest generated σ-algebra

context

$X$

postulate

$\sigma(A):\equiv \bigcap \{C\ |\ A\subseteq C\land C\subseteq \mathrm{SigmaAlgebra}(X)\}$

The smallest σ-algebra over $X$ generated by, and hence containing, $A$ .