Свойство алгоритма, предписывающее выполнение определенной последовательности предписаний, определяется как