一般に任意の集合の部分集合族にたいして確率を定義することができないことは測度論より知られている。そこで、部分集合族に制限を与える。
ある集合とその部分集合の族が以下の条件を満足する時ブール環(Boolean Ring) と呼ぶ。
ある集合とその部分集合の族が以下の条件を満足する時ブール環(Boolean Algebra) と呼ぶ。