Большой англо-русский и русско-английский словарь
ЯП инвариант цикла (утверждение (assertion), которое должно быть истинным при первом выполнении тела цикла и сохранять это значение до момента окончания цикла)
Англо-русский словарь технических терминов
инвариант цикла