Практикум по программированию на языке Turbo Pascal. Часть 2. Портнягина В.В - 47 стр.

    cvet : = [green, black]; cvet : = [green, red]; cvet : = [black, red];
    cvet : = [green, black, red]; cvet : = [ ];
    В общем случае, если базовое множество содержит
N элементов, производный множественный тип определяет
2N подмножеств. В последнем случае переменная cvet может
принимать 23 = 8 различных значений.

    2.2. Операции над множествами
    Над множествами определены операции: пересечение,
объединение, разность, сравнение, а также операция принад-
лежности множеству.
    Первые три операции (пересечение, объединение, раз-
ность) создают производные множества. Демонстрация рабо-
ты этих операций проведена в задаче 1 Лабораторной работы
№ 8 настоящего описания.
    Операции сравнения – это операции отношения, они двух-
местные и возвращают логическое значение (False или True).
    Операнды должны быть везде сопоставимы, то есть по-
строены на одном базовом типе.

    2.2.1. Пересечение двух множеств
    Результатом операции пересечения двух множеств А * В
будет множество С, состоящее только из тех элементов, ко-
торые принадлежат как множеству А, так и множеству В.

    2.2.2. Объединение двух множеств
    Результатом операции объединения двух множеств А + В
будет множество С, включающее как все элементы множест-
ва А, так и все элементы множества В.

    2.2.3. Разность двух множеств
    Результатом операции разности двух множеств А - В бу-
дет множество С, состоящее только из тех элементов множе-
ства А, которые не входят в множество В.

   2.2.4. Операции сравнения
   = проверка эквивалентности, возвращает True, если оба
множества эквивалентны.
                                   47