Konsistenz unter Kodierungen

Beispiel: FD-CS für Zahlen und SAT-CS für binäre Kodierung.

es ist möglich, daß das Original inkonsistent ist, aber die Kodierung konsistent.

Beispiel: x $\in$ [0, 1,..., 5] unär und binär