Loop Invariant

What?

Specifically for Algorithms, it’s a condition that holds true before and after each step in a loop, as well as at the end of a loop.