postcondition: warunek końcowy > Dodaj do ulubionych Warunek, który zawsze musi być spełniony po zakończeniu działania programu.