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