ThmDex – An index of mathematical definitions, results, and conjectures.
F10096
Formulation 0
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$