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