binäre EntscheidungsgraphenG₁ = (V₁, E₁, index₁) und G₂ = (V₂,E₂,index₂), zu denen es eine bijektive Abbildung ϱ : V₁ → V₂ gibt, die den Eigenschaften (1), (2) und (3) für jeden Knoten ν₁ ∈ V₁ genügt:

1. ϱ(ν₁) ist genau dann ein innerer Knoten von G₂, wenn ν₁ ein innerer Knoten von G₁ ist.
2. index₁(≠₁) = index₂ (ϱ(ν₁)).
3. Ist ν₁ ein innerer Knoten, so gilt \begin{eqnarray}\begin{array}{l}\varrho (low({\upsilon }_{1})) & = & low(\varrho ({\upsilon }_{1}))\\ \varrho (high({\upsilon }_{1})) & = & high(\varrho ({\upsilon }_{1})),\end{array}\end{eqnarray} wobei low(ν) den low-Nachfolgerknoten (binärer Entscheidungsgraph) und high(ν) den high-Nachfolgerknoten des Knotens v darstellt.