사상 $B$가 일어났다는 조건하에 사상 $A$가 일어날 조건부 확률 $P( A \ | \ B )$는 아래와 같이 정의한다.
단, $P(B) > 0$
두 사상 $A, \ B$에 대해 아래와 같은 관계가 성립한다.
$$ \begin{displaymath}\begin{split} P( A \cap B ) &= P( A \ | \ B ) \cdot P(B) \\ &= P( B \ | \ A ) \cdot P(A) \end{split}\end{displaymath} $$