Как называется свойство алгоритма, означающее, что он всегда приводит к результату через конечное, возможно, очень большое число шагов?

• Результативность.
• Массовость.
• Понятность.
• Дискретность.