Apa itu invarian loop?

Saya membaca "Pengantar Algoritma" oleh CLRS. Dalam bab 2, penulis menyebutkan "loop invariants". Apa itu invarian

algorithm terminology definition clrs loop-invariant