Понятие множества в языке Паскаль основывается на математическом
представлении о конечных множествах: это ограниченная совокупность
различных элементов.

type
   M = Set of 'A'..'D';  
var
   MS: M;
//==============================
var C: Set of  0 .. 7 ;
//==============================

К переменным и константам множественного типа применимы операции
присваивания(:=), объединения(+), пересечения(*) и вычитания(-): 
['A','B'] + ['A','D'] даст ['A','B','D']
['A','D'] * ['A','B','C'] даст ['A']
['A','B','C'] - ['A','B'] даст ['C'].