¿Qué es un bucle invariante?

Estoy leyendo "Introducción al algoritmo" por CLRS. En el capítulo 2, los autores mencionan "invariantes de bucle". ¿Qué es un bucle

algorithm terminology definition clrs loop-invariant