Инвариант (invariant) — выражение, остающееся неизменным при определенном преобразовании переменных, связанных с этим выражением.
[Словарь понятий по информатике. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user…page/slovar-kompyuternyh-terminov/, свободный.]