Qu'est-ce qu'une boucle invariante?

Je lis "Introduction à l'algorithme" par CLRS. Dans le chapitre 2, les auteurs mentionnent les "invariants de boucle". Qu'est-ce qu'une boucle