clrs

¿Qué es un invariante de bucle?

Estoy leyendo "Introducción al Algoritmo" CLRS. y los autores están hablando de invariantes de bucle, en el capítulo 2 (Ordenación por inserción). No tengo idea de lo que significa.