Talk:Equivalence of Definitions of Sigma-Algebra

Definition 2 is wrong?

 * Explain why. --prime mover (talk) 05:09, 30 May 2022 (UTC)

Counterexample
Let $X=\set {1,2,3,4}$ and $\Sigma = \set {\emptyset, X, \set {1,2}, \set{3,4}, \set {1,3}, \set {2,4}}$.

$\struct {X,\Sigma}$ satisfies Definition 2 but not Definition 1.


 * I believe the origin of this is misquotation. The source of the definition defines condition 2 to be $A \setminus B$ instead of $\map {\complement_X} A = X \setminus A$. I'm not sure of the ramifications of this adjustment so I'll leave my interference at that. &mdash; Lord_Farin (talk) 12:50, 30 May 2022 (UTC)