But why exactly?  Str printer for `FiniteSet` uses `sorted()`. And there are other doctests, which prints FiniteSet.