Charakteristische Funktion
Gegeben sei eine Menge X und eine Teilmenge T von X. Die charakteristische Funktion ist definiert durch:
Auf diese Art und Weise kann man die Potenzmenge P(X) von X mit der Menge aller Funktionen von X in die Menge {0, 1} identifizieren.