Что такое инвариант цикла?

Я читаю "Введение в алгоритм" от CLRS. В главе 2 авторы упоминают «петлевые инварианты». Что такое инвариант

algorithm terminology definition clrs loop-invariant