Es sei M{\displaystyle {}M} eine Menge und T⊆M{\displaystyle {}T\subseteq M} eine Teilmenge. Dann nennt man die Abbildung
die durch
definiert ist, die Indikatorfunktion zu T{\displaystyle {}T}.