Свойство алгоритма, которое означает, что алгоритм должен обеспечивать получение результата после конечного, возможно очень большого, числа шагов.