Класс УпорядоченнаяСовокупность существует как место для хранения кода который является общим для упомянутых классов. Общее поведение отделяется помещается в абстрактный суперкласс, который не может иметь экземпляров --- т.е. не должен создавать экземпляры себя. Например методы <tt>копироватьОт:до:</tt> и <tt>наличие---</tt>: оба написаны в РегулярнойСовокупности и наследуются её подклассами.
Таким образом, абстрактный суперкласс это класс который не имеет своих экзэмпляровэкземпляров, но который существует как хранилище для общего кода. Абстрактный суперкласс РегулярнаяСовокупность сам имеет абстрактный суперкласс, <i>Совокупность</i>. Совокупность это такжэтакже суперкласс для <i>МножэстваМножества</i> и <i>Мешка</i>, совокупностей для которых нет понятия порядка. Совокупность обеспечивает поведение которое является общим для всех совокупностей, такое как <tt>пустая?</tt>, <tt>собрать:</tt>, <tt>делать:</tt> и <tt>включает:</tt>. (Некоторые подклассы переопределяют эти методы для осуществления подходящего поведения. Однако, многие подклассы наследуют поведение напрямую.) Рисунок~\ref{ierarhix} показывает малую часть иерархии Совокупностей.
