> that is the reason I refrained from adding a doctest example

There is examples for FiniteSet.  I don't see the problem.