индуктивный инвариант

Мат. inductive invariant

Источник: Полный русско-английский словарь на Gufo.me