O que é um loop invariável?

Estou lendo "Introdução ao algoritmo", do CLRS. No capítulo 2, os autores mencionam "invariantes de loop". O que é um loop

algorithm terminology definition clrs loop-invariant