Какое название у свойства, при котором любой алгоритм в процессе
выполнения должен приводить к определённому результату?

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.