ブールの不等式

確率論において、ブールの不等式（ブールのふとうしき、）またはユニオンバウンド（union bound）は、事象の有限あるいは可算集合について、少くとも1つの事象が起こる確率は個別の事象の確率の和よりも大きくない、ことを示す。
ブールの不等式の名称はジョージ・ブールにちなむ。
形式的に、事象"A"1, "A"2, "A"3, ...の可算集合について、
が成り立つ。
測度論の用語では、ブールの不等式は測度（および任意の確率測度）が"σ"-劣加法的である事実から得られる。
証明.
有限和の場合.
有限個の事象に関するブールの不等式は、帰納法を使って証明することができる。
formula_2の場合について当然
ということになる。
formula_4の場合に
であると仮定する。
formula_6であり、和集合演算は結合則を満たすため、
を得る。
そして、確率の第一公理によって、
であるため、
を得て、したがって
を得る。
一般の場合.
確率空間におけるformula_11中のいかなる事象に対しても、
となる、ことを示す。
確率空間の公理の1つは、formula_13が確率空間の「交わりを持たない」部分集合であるならば
となるというものである。これは「可算加法性」と呼ばれる。
一方、formula_15ならば、formula_16 であるから、確率分布の公理より、
である。（ここで留意すべきは、右辺のどちらの項も非負である、という点である。）
さて、集合formula_18を、交わりを持たないよう変形する。
とすると、formula_20 は互いに素であり、またformula_21であり、かつ
となる。
したがって、以下の式を演繹することができる。
ボンフェローニの不等式.
ブールの不等式は事象の有限和の確率の上界と下界を見つけるために一般化することができる。これらの境界はカルロ・エミリオ・ボンフェローニにちなみボンフェローニの不等式と呼ばれる（）。
以下を定義する。
すると、 {1, ..., "n"} 中の奇数"k" について
となる。
ブールの不等式は"k" = 1の場合である。"k" = "n" の時は等号が成立し、得られる恒等式は包除原理である。