Лабораторный практикум по программированию на языке Паскаль. Найханова Л.В - 66 стр.

    g : god;
    s : set of symbol;
Значения переменных и констант множества задаются в разделе операторов с помощью
конструктора.         Конструктор представляет собой список элементов базового типа,
заключенный в квадратные скобки, который затем можно присвоить переменной, или
обработать.
Конструктор множества можно рассматривать как константу типа множества.
Например:
figura := [romb];
или
figura := [krug,romb,kvadrat];
simv := ['A','B','C'];
M1 := [1,3,5,10];
M2 := []; { пустое множество }
9.2. Операции над множествами
В языке Турбо-Паскаль имеются следующие группы операций над множествами:
1) объединение, пересечение, вычитание множеств;
2) проверка принадлежности элемента множеству;
3) проверка на равенство и неравенство множеств;
4) проверка на принадлежность одного множества другому.
Операции объединения, пересечения и вычитания являются традиционными действиями над
множествами и обозначаются символами '+', '*', '-' соответственно. Например:
        [1,2] + [3,4] = [1,2,3,4];
        [1..10] + [5..15] = [1..15];
        [1..10] * [5..15] = [5..10];
        [1,2] * [3,4] = [];
        [1..10] - [5..15] = [1..4];
Проверка принадлежности множеству - это логическая операция, которая обозначается
служебным словом IN. Правый операнд должен быть множеством, левый - значением
базового типа множества. Операция возвращает TRUE, если значение входит в множество, и
FALSE в противном случае. Например:
        2 in [1..10,12]; { имеет значение true}
        5 in [1,2,7,10]; { имеет значение false}
Операцию проверки принадлежности удобно использовать для исключения более сложных
проверок, например, оператор вида
 if (symb = 'a') or (symb = 'b') or (symb = 'x') or (symb ='y') then s;
может быть переписан в более компактной форме
if symb in ['a','b','x','y'] then s;.
Второй вариант эффективен с точки зрения быстродействия.
Проверка на равенство, неравенство и включение множеств - это бинарные логические
операции, которые обозначаются следующими символами:
= равенство (совпадение) двух множеств;
<> неравенство множеств;
<= проверка на вхождение множества из левого операнда в множество из правого операнда;
>= проверка на вхождение множества из правого операнда в множество из левого операнда.
Все эти операции вырабатывают логическое значение TRUE или FALSE в зависимости от
успеха проверки. Например:
        [1,2,3] = [1,2]        - false;
        [1,2,3] >= [1,2] - true;
        [S] <= [1..10]         - true,
        если S - целое число из диапазона 1..10;
        [1,2,3] <> [1,2,2] - true.

                                                                                   66