Eine Gleichung ist allgemeingültig, wenn sie unabhängig von der Belegung der Variablen gültig ist.
Beispiel.
- Die Gleichung a2 + b2 = c2 ist nicht allgemeingültig, weil sie für a=1, b=2, c=3 nicht gültig ist: 12 + 22 = 5 ≠ 32.
- Die Gleichung (a+b)2 = a2 + 2ab + b2 ist allgemeingültig (binomische Formel).
Die Aussage "Es gibt keine Vektoren der Ebene, die nicht als Linearkombination der beiden obigen Vektoren darstellbar sind" ist insofern allgemeingültig, dass in dieser Aussage überhaupt keine Variablen vorkommen, die belegt werden könnten.