条件付き確率分布
離散確率変数の場合、条件付き確率質量関数(conditional probability mass function)は P ( X = x ) > 0 {\displaystyle P(X=x)>0} の時に以下のように定義する。
p Y | X ( y ∣ x ) ≜ P ( Y = y ∣ X = x ) = P ( X = x ∩ Y = y ) P ( X = x ) {\displaystyle p_{Y|X}(y\mid x)\triangleq P(Y=y\mid X=x)={\frac {P(X=x\ \cap Y=y)}{P(X=x)}}}