(Ground) integer sets are simply sorted, duplicate-free lists of integers e.g.
SetOfThree = [1,3,7] EmptySet = []
Lists which contain non-integers, are unsorted or contain duplicates, are not sets in the sense of this library.
