分布関数の定義とその基本的な性質