Инвариант

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