Краткий ответ

Нет, порядок элементов множества нельзя использовать как гарантированный порядок данных. Он определяется внутренней хеш-таблицей, хешами объектов и текущим состоянием множества; при изменениях или в другом запуске программы порядок может отличаться.

В рамках одного запуска порядок иногда выглядит стабильным, но это наблюдаемое свойство конкретной реализации и набора объектов, а не контракт, на который следует опираться.

Исторический контекст

Множества предназначены для хранения уникальных элементов и быстрых операций принадлежности, объединения и пересечения. Для этой задачи важнее эффективная работа с хеш-таблицей, чем сохранение порядка вставки.

Поэтому семантика множества не обещает упорядоченный обход. Это отличается от словаря, для которого в современных версиях Python порядок вставки является гарантированным свойством языка.

Постановка проблемы

Если программа воспринимает обход множества как упорядоченный, она может выдавать нестабильные отчёты, формировать разные сериализованные данные или получать непредсказуемые результаты тестов.

Порядок может измениться после добавления или удаления элементов из-за перестроения внутренней таблицы. Кроме того, хеширование некоторых типов, например строк, зависит от случайного значения процесса, поэтому два запуска могут показать разные последовательности.

Подробное решение

Множество использует хеши элементов для размещения их во внутренней таблице. При обходе Python посещает позиции этой таблицы, а не извлекает элементы в порядке добавления.

Если нужен определённый порядок, его следует задать явно:

items = {"банан", "яблоко", "груша"}

for item in sorted(items):
    print(item)

Здесь порядок определяется сортировкой, а не множеством. Для сортировки нужны сравнимые элементы либо функция ключа, а сама операция требует дополнительных затрат времени и памяти.

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

values = ["a", "b", "a", "c"]
unique = list(dict.fromkeys(values))
print(unique)  # ['a', 'b', 'c']

Это решение сохраняет порядок вставки, но имеет другой контракт: оно требует хешируемых элементов, поскольку ключи словаря должны быть хешируемыми. Для произвольных нехешируемых объектов понадобится отдельная проверка принадлежности или другой алгоритм.

Ситуация из практики

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

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

Выбрали сортировку по имени разрешения, потому что бизнес-логика не зависела от порядка поступления. В результате JSON стал воспроизводимым, а сравнение ответов и тестирование перестали зависеть от внутреннего порядка множества.

Что кандидаты часто упускают

Дополнительный вопрос: почему порядок множества может измениться после добавления элемента, даже если добавленный элемент не участвует в текущем обходе?

Ответ: множество может перераспределить элементы при изменении размера внутренней хеш-таблицы. Во время такого перестроения существующие элементы размещаются в новых позициях, поэтому последовательность обхода меняется целиком. Это не означает изменения самих элементов, но меняет порядок их посещения.
Дополнительный вопрос: гарантирует ли одинаковый порядок обхода множества в двух запусках программы одинаковой версии Python?

Ответ: нет. Для некоторых типов, включая строки, хеши могут быть рандомизированы между запусками. Даже при совпадении хешей порядок не следует считать контрактом: он зависит от реализации хеш-таблицы и истории изменений множества.
Дополнительный вопрос: чем принципиально отличается преобразование множества в список от сортировки множества?

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