Let $P = (\Omega, \mathcal{F}, \mathbb{P})$ be a D1159: Probability space such that
| (i) | $E, F \in \mathcal{F}$ are each an D1716: Event in $P$ |
| (ii) | \begin{equation} E \cap F = \emptyset \end{equation} |
Then the following statements are equivalent
| (1) | $E, F$ is an D1720: Independent event collection in $P$ |
| (2) | $\mathbb{P}(E) = 0$ or $\mathbb{P}(F) = 0$ |
