定義
X を集合、A をその部分集合とする。
A の特性関数を χ_A と書く。
即ち、
x ∈ A のとき χ_A(x) = 1
x ∈ X - A のとき χ_A(x) = 1