Implement SetsClosure on top of IntegerSets.