Инвариант и переменная — разные понятия в программировании, и инвариант более «концептуален», чем переменная. 2

Переменная — это элемент программы, в котором можно хранить данные. 2 Например, в стеке на массиве есть переменные, которые обозначают число элементов и массив элементов. 3

Инвариант — это свойство состояния программы, которое всегда истинно. 2 Он не может быть сохранён в переменной, скорее представляет собой утверждение о программе. 2 Инварианты — это условия, которые остаются неизменными на протяжении всего выполнения программы. 1 Такими условиями могут быть значения переменных или определённая логика выполнения алгоритма. 1

Таким образом, переменная — это конкретный элемент программы, а инвариант — это более общее понятие, которое описывает глобальные свойства программы.