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