invariant Логическое выражение, сохраняющее истинность на некотором участке программы: инвариант цикла - условие, выполняющееся при завершении каждого шага цикла; инвариант модуля - условие, выполняющееся до и после выполнения любой операции модуля.
Phrases with инварианты
инвариант модуля module invariant Условие, выполняющееся как до вызова, так и после завершения любой процедуры модуля.
инвариант цикла loop invariant Переменная, значение которой не изменяется в ходе выполнения цикла.