Sei \(M\) eine Menge und \(A \subseteq M\) eine Teilmenge
Dann ist die charakteristische Funktion von \(A\) definiert als Abbildung:
\begin{align*}
\mathbb{P}_A: X \rightarrow& \{0,1\} \\
x \mapsto&
\begin{cases}
1 & \mbox{if } x \in A \\
0 & \mbox{else } \\
\end{cases}
\end{align*}