Определение "Однозначность выполнения каждого отдельного шага преобразования информации" относится к свойству алгоритмов, которое называется :