Протокол класса содержит конструктор по умолчанию, конструктор с параметрами, конструктор копирования, деструктор. Обеспечена возможность всегда знать, сколько объектов данного типа существует. Все функции, не меняющие состояние объекта, описаны как константные. Описаны методы, которые реализуют вывод информации о состоянии объекта на экран и в файл.

Программа выполняет следующие операции над множествами:

• проверка допустимое ли множество
• проверка множества эквивалентны ли
• проверка элемент принадлежит ли множеству
• проверка множество пустое ли
• проверка подмножество другого ли множества
• проверка надмножество другого ли множества
• объединение множеств
• пересечение множеств
• разность множеств
• симметричная разность множеств