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.