Какое основное характеризующее свойство алгоритма

Алгоритм должен обладать следующими ключевыми свойствами:

1. Определённость - каждый шаг должен быть чётко и однозначно определён
2. Конечность - алгоритм должен завершаться за конечное число шагов
3. Результативность - алгоритм должен приводить к конкретному результату
4. Массовость - алгоритм должен быть применим к классу однотипных задач

Пример на Python:

def factorial(n):  # соответствует всем свойствам алгоритма
    if n < 0:
        return None  # обработка невалидного ввода
    result = 1
    for i in range(1, n+1):
        result *= i  # чёткие конечные шаги
    return result  # всегда возвращает результат