Инвариант: основные понятия и термины

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