requirements/concepts for SortedSet