Связанное обобщающее множество, в рамках которого осуществляются операции над множествами (их изъятие, добавление новых, объединение, пересечение и т.п.), это: