Инвариант цикла

Инвариант цикла - выражение, значение которого не меняется при каждом прохождении цикла.