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$ |