Инвариант — термин, обозначающий нечто неизменяемое. Конкретное значение термина зависит от той области, где он используется:
В программировании
- Инвариант цикла — логическое выражение, истинность которого сохраняется после каждого прохода тела цикла;
- Инвариант в объектно-ориентированном программировании — выражение, определяющее непротиворечивое внутреннее состояние объекта.