Teiginys, kuris yra teisingas prieš atliekant ciklą, nesikeičia, t. y. lieka teisingas, pakartojus kiekvieną ciklo veiksmą ir taip pat lieka teisingas baigus vykdyti ciklą.

Teiginys, kuris yra teisingas prieš atliekant ciklą, nesikeičia (t. y. lieka teisingas) pakartojus kiekvieną ciklo veiksmą ir taip pat lieka teisingas baigus vykdyti ciklą.
Naudojamas programos teisingumui patikrinti. Yra kai kuriose moderniose programavimo kalbose. Dažniausiai invarianto sakinys pradedamas žodžiu assert. Pavyzdžiui, sveikųjų skaičių dalybą apibrėžiančiame cikle:
liekana := dalijamasis;
dalmuo := 0;
while liekana > daliklis do
   begin
       assert dalmuo * daliklis + liekana = dalijamasis;
       dalmuo := dalmuo + 1;
       liekana := liekana - daliklis;
   end;
invarianto assert dalmuo * daliklis + liekana = dalijamasis reikšmė visada yra tiesa.

Teiginys programoje, kuris atliekant programą turi būti visada teisingas.
Naudojamas programos teisingumui patikrinti. Yra kai kuriose moderniose programavimo kalbose. Dažniausiai invarianto sakinys pradedamas žodžiu assert.