Set Difference of Events is Event

Theorem
Let $\EE$ be an experiment with a probability space $\struct {\Omega, \Sigma, \Pr}$.

The event space $\Sigma$ of $\EE$ has the property that:
 * $A, B \in \Sigma \implies A \setminus B \in \Sigma$

That is, the difference of two events is also an event in the event space.

Also see

 * Elementary Properties of Event Space