FiniteSet(EmptySet()) returns {}