Indikatorfunktion, die die Zugehörigkeit eines Elementes x zu einer Menge A charakterisiert.

Ist M eine beliebige Menge und A eine Teilmenge von M, so versteht man unter der charakteristischen Funktion χ_A: M → ℝ die Funktion \begin{eqnarray}{\chi }_{A}(x)=\left\{\begin{array}{ll}1 & \text{falls\,}x\in A\\ 0 & \text{falls}x\notin A.\end{array}\right.\end{eqnarray}