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