An immutable, persistent set of distinct elements, with elements arranged in sorted order
(according to some Comparator), and with various methods to obtain specific
elements or ranges of elements based on this ordering (such as the least element greater than
some value, or the set of elements between two values).