Invariantes C++.Ayuda

[mariona]

Alguien me puede explicar que son los invariantes de un bucle o programa en C++?O algun sitio donde leer algo sobre el tema? Aprendi C y C++ hace dos años, y no tenia ni idea de que esto existia y ahora en la universidad me exigen saberlo,estoy desesperao.Gracias por leer el post

[RadicalEd]

Mira la respuesta a tu pregunta.
Es la condición del while, for, etc, que debe cumplirse para que se ejecute el código dentro del bucle {} .