loop invariant noun1 •an invariant that should be true on entry into a loop and is guaranteed to remain true on every iteration of the loop formsloop invariants
