Eine Schleifeninvariante ist eine Aussage, die vor und nach jeder Iteration einer Schleife gilt.
Sie hilft, Korrektheit zu beweisen: Initialisierung, Erhaltung, Nutzen nach Abbruch.