Definition

independent events

The events $A_{1}, \dots , A_{n}$ are independent if $\mathbb{P}(\cap_{i \in I}A_{i}) = \prod_{i \in I}\mathbb{P}(A_{i})$ for all finite $I \subset \{1, \dots , n\}$.