Invariant (informatika): Porovnání verzí

Takovým příkladem invariantu by mohlo být prakticky cokoli i např. [[Slunce]] je žluté. Je to podmínka která platí pořád. Při určování invariantu cyklu však musíme dbát o to, aby se námi zvolený invariant vztahoval k danému algoritmu. <