Пусть:
- $\Large M$ есть подмножетсво сегмента $\Large E = [A, B]$
- на сегменте $\Large E$ задана некоторая функция $\Large \varphi_M(x)$
Функция $\Large \varphi_M(x)$, равная единице на множестве $\Large M $ и нулю на множестве $\Large E - M$ (то есть = 1 на $\Large M$, а в остальных точках = 0)
наывзается характеристической функцией множества $\Large M$.