инвариант. Логическое выражение, сохраняющее истинность на некотором участке программы: инвариант цикла - условие, выполняющееся при завершении каждого шага цикла; инвариант модуля - условие, выполняющееся до и после выполнения любой операции модуля.
INVARIANT
Англо-русский перевод INVARIANT
English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012