Понятие множества в языке Pascal основывается на математическом представлении о множествах: это ограниченная совокупность различных элементов. Для построения конкретного множественного типа используется перечисляемый или интервальный тип данных. Тип элементов, составляющих множество, называется базовым типом. Множественный тип описывается с помощью служебных слов Set of, например: type M = Set of B; здесь М – множественный тип, В – базовый тип. Принадлежность переменных к множественному типу может быть определена прямо в разделе описания переменных. Константы множественного типа записываются в виде заключенной в квадратные скобки последовательности элементов или интервалов базового типа, разделенных запятыми. К переменным и константам множественного типа применимы операции присваивания (:=), объединения (+), пересечения (*) и вычитания (-). Результат выполнения этих операций есть величина множественного типа: 1) ['A','B'] + ['A','D'] даст ['A','B','D']; 2) ['A'] * ['A','B','C'] даст ['A']; 3) ['A','B','C'] – ['A','B'] даст ['C'] К множественным величинам применимы операции: тождественность (=), нетождественность (<>), содержится в (<=), содержит (>=). Результат выполнения этих операций имеет логический тип: 1) ['A','B'] = ['A','C'] даст FALSE; 2) ['A','B'] <> ['A','C'] даст TRUE; 3) ['B'] <= ['B','C'] даст TRUE; 4) ['C','D'] >= ['A'] даст FALSE. Кроме этих операций, для работы с величинами множественного типа используется операция in, проверяющая принадлежность элемента базового типа, стоящего слева от знака операции, множеству, стоящему справа от знака операции. Результат выполнения этой операции – булевский. Величины множественного типа не могут быть элементами списка ввода-вывода. В каждой конкретной реализации транслятора с языка Pascal количество элементов базового типа, на котором строится множество, ограниченно.