Чем set отличается от frozenset?

set изменяемый — можно .add() / .remove(). frozenset неизменяемый — после создания не поменяешь. За счёт неизменяемости frozenset хешируемый, поэтому его можно класть ключом в словарь или элементом в другое множество, а обычный set — нельзя.

s = {1, 2}
s.add(3)            # ок

fs = frozenset({1, 2})
# fs.add(3)         -> AttributeError

d = {fs: 'pair'}    # ок: frozenset как ключ
# d = {s: 'pair'}   -> TypeError: unhashable type: 'set'

frozenset нужен ровно там, где требуется неизменяемое множество — как ключ словаря, как элемент set'а, или просто как защита от случайной модификации.