loop invariant: niezmiennik pętli > Dodaj do ulubionych W dowodzeniu poprawności algorytmów jest to zdanie, które po każdej iteracji pętli jest prawdziwe.
