Тип-множество, используемый в языке Паскаль, соответствует понятию множества в математике, и создается с помощью следующего конструктора типа:
Type T = set of T0;
где T0 – базовый тип или тип элементов множества.
Значением переменной X типа T являются множества элементов типа T0. Например, тип-множество целых чисел от 1 до 31 может быть описан следующим образом:
Type intset = set of 1..31;
Переменной X типа intset можно присвоить значения с помощью оператора присваивания, например:
Var X: intset;
………………..
X:=[1,4,9,16,25];
Элементы множества записываются в квадратных скобках. Оператор
X;=[]; присваивает переменной Х значение пустого множества.
Операции над переменными типа-множества выполняются по правилам теории множеств.
Операция | Действие | Тип операндов | Тип результата |
+ | Объединение множеств | Множество | Множество |
- | Разность множеств | Множество | Множество |
* | Пересечение множеств | Множество | Множество |
= | Сравнение на равенство | Множество | Булевский тип |
<> | Сравнение на неравенство | Множество | Булевский тип |
A>=B | B – подмножество A | Множество | Булевский тип |
in | Определение принадлежности множеству | Левый операнд – базовый тип; правый – множество элементов базового типа | Булевский тип |