Definition 4.5.3. Conditional Probability.

For sets A and B,
\begin{equation*} P(B | A) = \frac{P(A \cap B)}{ P(A) }, \end{equation*}
provided \(P(A) \gt 0\text{.}\)
in-context