loop invariant

Noun

 * 1)  an invariant that should be true on entry into a loop and is guaranteed to remain true on every iteration of the loop

Translations

 * Icelandic: lykkjuóbreyta