Was ist eine Schleifeninvariante?

Ich lese "Einführung in den Algorithmus" von CLRS. In Kapitel 2 erwähnen die Autoren "Schleifeninvarianten". Was ist eine

algorithm terminology definition clrs loop-invariant