## 10.2 Finite Sets of Integers

In the context of the *ic_sets* library, (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.