Fix FiniteSet(EmptySet())

fixes #7335
s.func