loop invariant
noun1
Computer, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Science, Sciences an invariant that should be true on entry into a loop and is guaranteed to remain true on every iteration of the loop
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.