Инвариант

Инвариант - программный объект, не изменяющийся в процессе выполнения. Инварианты используется при доказательстве правильности программ.

неизменяющаяся, неизменная величина, единица; в математике – величина (выражение), остающаяся неизменной при определенных преобразованиях переменных; в языкознании – абстрактная структурная единица языка (фонема, морфема, лексема и др.) вне конкретной реализации.