invariant: niezmiennik, inwariant > Dodaj do ulubionych Warunek, który zawsze musi być spełniony w określonym miejscu lub czasie wykonywania programu.