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