# Event Space from Single Subset of Sample Space

## Theorem

Let $\EE$ be an experiment whose sample space is $\Omega$.

Let $\O \subsetneqq A \subsetneqq \Omega$.

Then $\Sigma := \set {\O, A, \Omega \setminus A, \Omega}$ is an event space of $\EE$.

## Proof

Event Space Axiom $(\text {ES} 1)$

From its definition:

$\Sigma \ne \O$

thus fulfilling axiom $(\text {ES} 1)$.

$\Box$

Event Space Axiom $(\text {ES} 2)$
$\Omega \setminus \O = \Omega \in \Sigma$
$\Omega \setminus \Omega = \O \in \Sigma$

By definition:

$\Omega \setminus A \in \Sigma$
$\Omega \setminus \paren {\Omega \setminus A} = A \in \Sigma$

Thus axiom $(\text {ES} 2)$ is fulfilled.

$\Box$

Event Space Axiom $(\text {ES} 3)$

From Union with Empty Set:

$\forall X \in \Sigma: X \cup \O = X \in \Sigma$
$\forall X \in \Sigma: X \cup \Sigma = \Sigma \in \Sigma$
$\forall X \in \Sigma: X \cup X = X \in \Sigma$
$A \cup \paren {\Omega \setminus A} = \Sigma \in \Sigma$

It follows that axiom $(\text {ES} 3)$ is fulfilled.

$\blacksquare$