Свойством алгоритма указывающее на обязательность завершения