Funktion, die die Zugehörigkeit von Elementen zu einer Menge ang^ibt.

Ist Ω eine Menge und A eine Teilmenge von Ω, so wird die Abbildung \begin{eqnarray}{{\bf{1}}}_{A}:{\rm{\Omega }}\ni \omega \to \left\{\begin{array}{ll}1, & \omega \in A\\ 0, & \omega \notin A\end{array}\right.\in \{0,1\}\end{eqnarray} als Indikatorfunktion von A oder auch als Indikator der Menge A bezeichnet. Die Indikatorfunktion 1_A gibt also für jedes ω ∈ Ω an, ob es zu A gehört oder nicht. Gelegentlich wird für 1_A auch die Bezeichnung charakteristische Funktion von A und das Symbol χ_A statt 1_A verwendet. Da in der Wahrscheinlichkeitstheorie die Fourier-Transformierte der Verteilung P_X einer Zufallsvariable X aber ebenfalls als charakteristische Funktion bezeichnet wird, zieht man i. allg. die Bezeichnung Indikatorfunktion für 1_A vor.