Darstellung einer endlichen Menge M mit Hilfe ihrer charakteristischen Funktion.

Hierbei wird das endliche Universum \({\mathfrak{U}}\), aus dem die Elemente aus M gewählt werden können, für ein geeignetes n ∈ ℕ mittels einer injektiven Abbildung \(\gamma :{\mathfrak{U}}\to {\{0,1\}}^{n}\) binär codiert. Die Teilmenge M wird dargestellt durch die charakteristische Funktion χ_M mit \begin{array}{l}{\chi }_{M}:{\{0,1\}}^{n}\to \{0,1\}\\ {\chi }_{M}(\alpha )=1\iff \exists x\in M:\gamma (x)=\alpha \end{array} für alle α ∈ {0,1}ⁿ. Die Abbildung χ_M wird durch einen binären Entscheidungsgraphen dargestellt.