注目している系の状態の全体または一部を というn個1組のパラメータ(pj=Tまたはpj=F)で記述できるものとする。nは∞であってもよい。Ωはsの全ての可能な状態の集合である。 また、あるsのパラメータpjの値をs[j]で表す。さらに、 このとき、