Свойства определенного алгоритма