Hyperkantenkonsistenz: Erweiterungen

Bsp. (x₁ + x₂ < x₃) mit D₁ = {0, 1}, D₂ = {0, 1}, D₃ = {1}

• nach Definition: das ist trivial 2-konsistent (es gibt keine 2-Atome), aber nicht 3-konsistent
• Erweiterung: da x₃ eindeutig ist: setze ein, erhalte 2-Atom (x₁ + x₂ < 1), nicht 2-konsistent (betrachte x₁ = 1)

Bsp. (x₁≤x₂∧x₁≠x₂) mit D₁ = {0, 1, 2}, D₂ = {0, 1, 2}

• nach Definition: das ist 2-konsistent (jedes 2-Atom wird dabei einzeln betrachtet)
• Erweiterung: betrachte Konjunktion der Atome, dann nicht 2-konsistent, (betrachte x₁ = 2)