Логическое выражение некоторого условия, истинность которого необходимо соблюдать: 9 букв, первая «И»

Правильным ответом на вопрос в кроссворде (сканворде): Логическое выражение некоторого условия, истинность которого необходимо соблюдать, является слово инвариант.