Die Indikatorfunktion einer Menge (auch charakteristische Funktion einer Menge genannt) ist eine Funktion, die die Zugehörigkeit eines Elements zur Menge charakterisiert. Sie ermöglicht es, komplizierte Mengen mathematisch präzise zu fassen und auf ihnen Funktionen wie zum Beispiel die Dirichlet-Funktion zu definieren.