Es sei ${\displaystyle {}M}$ eine Menge und ${\displaystyle {}T\subseteq M}$ eine Teilmenge. Dann nennt man die Abbildung

${\displaystyle e_{T}\colon M\longrightarrow \{0,1\},}$

die durch

${\displaystyle e_{T}(x)={\begin{cases}1{\text{ falls }}x\in T\,,\\0{\text{ falls }}x\not \in T\,,\end{cases}}}$

definiert ist, die Indikatorfunktion zu ${\displaystyle {}T}$.