標本空間が有限集合であるとき、その任意の部分集合を事象として考察対象に含めることができます。その上で、標本空間のベキ集合上に集合関数を定義した上で、それが確率論の公理と呼ばれる性質を満たすものと定めます。して得られる概念を有限確率空間と呼びます。\)の任意の部分集合を事象として考察対象に含めることができます。}\end{equation*}を採用します。\)のベキ集合を表す記号です。_{i}\}\right)\end{eqnarray*}を満たすものとします。\)は任意の根元事象の確率が非負であることを意味します。\)はすべての根元事象の確率の総和が\(1\)であることを意味します。\)を規定しており、それは\(A\)に含まれる根元事象の確率の総和として表されることを意味します。probability)と総称します。\mathbb{R}\)を\(A\)の確率(probability)と呼び、これは\(A\)の起こりやすさを表す値として解釈されます。space)と呼びます。主要な目的は、確率論の公理を満たす具体的な関数について議論を深めることではなく、確率という概念に対して私たちが持つ常識的な感覚を確率論の公理として定式化した上で、そこを出発点にして演繹的に考えたときに何が言えるかを明らかにすることにあります。\tag{1}\end{equation}を定めるものとします。