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

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