W obliczeniach iteracyjnych musimy mieć pewność, że:
żaden element zbioru nie został pominięty przez algorytm
obliczenia nie będą powtarzać się w nieskończoność
Aby zagwarantować spełnienie powyższych warunków należy określić ile elementów zawiera analizowany zbiór – jaka jest jego moc.
Można wyróżnić dwie metody określania mocy zbioru:
poprzez podanie na początku ile elementów zawiera zbiór
poprzez umieszczenie na końcu zbioru dodatkowego wyróżnionego elementu, tzw. wartownika