Elementary Properties of Event Space

Theorem
Let $\mathcal E$ be an experiment with a probability space $\left({\Omega, \Sigma, \Pr}\right)$.

The event space $\Sigma$ of $\mathcal E$ has the following properties:

Symmetric Difference of Events is Event

 * $(6) \quad A_1, A_2, \ldots \in \Sigma \implies \displaystyle \bigcap_{i \mathop = 1}^\infty A_i \in \Sigma$, that is, the intersection of any countable collection of elements of $\Sigma$ is also in $\Sigma$.

In the above:
 * $A \setminus B$ denotes set difference
 * $A \ast B$ denotes symmetric difference.

Proof
By definition, a probability space $\left({\Omega, \Sigma, \Pr}\right)$ is a measure space.

So, again by definition, an event space $\Sigma$ is a sigma-algebra on $\Omega$. Thus the requirements above.

...


 * Finally, note that as every sigma-algebra is also a delta-algebra:
 * $\displaystyle A_1, A_2, \ldots \in \Sigma \implies \bigcap_{i \mathop = 1}^\infty A_i \in \Sigma$

by definition of delta-algebra.