halting property: własność stopu > Dodaj do ulubionych Algorytm, który ma własność stopu spełnia warunek stopu (halting-principle).