Co to jest niezmiennik pętli?

Czytam „Wprowadzenie do algorytmu” CLRS. W rozdziale 2 autorzy wspominają o „niezmiennikach pętlowych”. Co to jest niezmiennik

algorithm terminology definition clrs loop-invariant