O'Reilly logo
  • You Wang thinks this is interesting:

loop invariant, which is an assertion or picture of the computation at a particular point in time

From

Cover of How to Think About Algorithms

Note

loop invariant describes the structure that should keep during algorithm execution.