1. 変数 $x$ が $x'$ を越えない確率を $\Pr\{ x \leqq x'\} = F ( x')$ とする。
   
2. $x$ 軸上の互いに素である有限な点集合を $A_{1}, A_{2}, \dots$ としたとき，

   　　$\Pr\{x \in A_{1} + A_{2} + \dots \} = \Pr\{x \in A_{1}\} + \Pr\{x \in A_{2}\} + \dots$

   が成り立つとする。

　このように定義された $x$ を確率変数という。

　これまでに現れた式から次の関係を導くことができる。

• $\Pr\{ x'\lt x \leqq x' '\} = F ( x' ') - F ( x')$

• $\Pr\{ x = x \} = F ( x ) - F ( x - 0 )$

• $0 \leqq \Pr\{ x \in A \} \leqq 1$

• $\Pr\{ - \infty \lt x \lt + \infty \} = 1$

演習問題：

応用問題：