Definition 4.7.1. Independent Events.

Events A and B are independent provided
\begin{equation*} P(A \cap B) = P(A) P(B) \end{equation*}
in-context