集合の特性関数
集合
$ \alpha
に対して、次のような1変数全域関数
$ f
のことを、
$ \alpha
の特性関数と言う
$ f(x) = \left\{ \begin{array}{ll} 1 & (x\in\alpha) \\ 0 & (x\notin\alpha) \\ \end{array} \right.
「引数
$ x
か
$ \alpha
の元かどうか」を判定している