Widerspruchsgleichung

lineare Gleichungsrestriktion der Form: 0x1 + 0x2 + ... + 0xn = b mit b0. Ein Restriktionssystem, das eine solche Gleichung enthält, bzw. das sich durch lösungsneutrale Umformungen auf ein System mit einer solchen Gleichung bringen läßt, besitzt keine Lösung, da es keinen Vektor (x1, x2, ... , xn) von reellen Zahlen x1, x2, ... , xn gibt, der dieser Gleichung genügt.