条件付き確率分布
確率変数 X と事象 A が与えられたときに P ( A ) > 0 {\displaystyle P(A)>0} の時に条件付き累積分布関数(conditional cumulative distribution function)は以下のように定義する。
F X | A ( x ) ≜ P ( X ≤ x ∩ A ) P ( A ) . {\displaystyle F_{X|A}(x)\triangleq {\frac {P(X\leq x\cap A)}{P(A)}}.}