Краткое пояснение:
Алгоритм должен быть конечным, то есть гарантированно завершаться за определенное, хотя и не обязательно малое, количество шагов.
Ответ:
Результативность (или конечность). Это свойство означает, что любой алгоритм должен приводить к ответу за конечное число шагов.