集合是由具有某些共同特征的元素构成的一个整体。在pascal中，一个集合是由具有同一有序类型的一组数据元素所组成，这一有序类型称为该集合的基类型。
一、集合类型的定义和变量的说明
集合类型的一般形式为：
set of 基类型;
基类型可以是任意顺序类型, 而不能是实型或其它构造类型。同时，基类型的数据的序号不得超过255。例如下列说明是合法的:
type numbers =set of 0..9; ch=set of char; day=(sun,mon,tue,wed,thu,fri,sat); var s: numbers; c:ch; weekday:day;
可以将类型说明与变量说明合并在一起，如:
var s:set of 0..9; { 子界型 } c:set of char; weekday: (sun,mon,tue,wed,thu,fri,sat); { 枚举型 }
注意：集合的元素个数不超过256个，因此 var s:set of integer; 是错误的。
二、集合的值
1、集合的值放在一对方括号中，中间各元素之间用逗号隔开。如：[1,2,5] 和 ['a','e','i'] 都是集合。
2、在集合中可以没有任何元素，这样的集合称为空集。[] 空集
3、在集合中，如果元素的值是连续的，则可用子界型的表示方法表示。例如：
［1,2,3,4,5, 10,15］ 可以表示成： ［1..5,10,15］
4、集合的值与方括号内元素出现的次序无关。例如［1,5,8 ］和［5,1,8］的值相等。
5、在集合中同一元素的重复出现对集合的值没有影响。例如，［1,8,5,1,8］与［1,5,8］的值相等。
6、每个元素可用基类型所允许的表达式来表示。如 ［1,1+2,4］、［succ(ch)］。
三、集合的运算
集合类型变量不能进行算术运算，集合是无序的，不能使用ord、pred、succ等函数。
1、赋值运算
只能通过赋值语句给集合变量赋值，不能通过读语句赋值，也不能通过写语句直接输出集合变量的值。如：
集合变量赋值: c:=['2']; i:=[5]; w:=[];
集合变量赋子界值: c:=['a'..'z']; i:=[1..7];
集合变量赋枚举值: c:=['a','b','d','m']; i:=[2,4,6,8,10];
函数赋值操作：添加一个集合元素 Include(s, 1);
删除一个集合元素 Exclude(s, 1);
2、集合的并、交、差运算
可以对集合进行并(＋)、交(＊)、差 (－)三种运算，每种运算只有一个运算符、两个运算对象，运算结果仍为集合。注意它们与算术运算的区别。
① 并运算 （关系代数运算符∪）
A，B为两个集合，由集合A中的元素加上集合B中的与A不重复的所有元素组成的集合，称为集合A和B的并。即A+B，如：
[X，Y，Z]+[X] 为 [X，Y，Z] { 两个集合中不重复的所有元素 }
[1]+[4] 为[1，4]
② 交运算 （关系代数运算符∩）
A，B为两个集合，由既属于集合A中的元素又属于集合B中的所有元素组成的集合，称为集合A和B的交。即A*B，如：
[X，Y，Z]*[X] 为 [X] { 两个集合中的相同元素 }
[X，Y，Z]*[M] 为 []
③差运算 （关系代数运算符-）
A，B为两个集合，由集合A中的元素除去集合B中与A相同的元素组成的集合，称为集合A和B的差。即AB，如：
[X，Y，Z]-[X] 为 [Y，Z ] { 在集合A中又不在集合B中的所有元素 }
[X，Y，Z]-[M] 为 [X，Y，Z]
3、集合的关系运算： 运算结果为布尔值
关系运算符：= 相等、 <> 不相等
>= 包含，表示前者蕴含后者，相当于集合论中的 <V:FORMULAS>FORMULAS>。
<= 包含于，表示前者蕴含于后者，相当于集合论中的 。
例如：[a,b,c]=[b,c,a] 为true，元素个数相同，内容相同，不管排列顺序如何。
[a,b,c]>=[a] 为true；
[a,b]<=[a,b,c] 为true。
in运算：in的右边为集合，左边为与集合基类型相同的表达式，为布尔值。in测试一个元素是否在集合中。相当于集合论中的∈。它们都是二目运算，且前４个运算符的运算对象都是相容 的集合类型。例如：a in［b,c］ 为false。
设集合a:=[1..10]； x 为integer，如x在集合a中即删除a中的元素x，否则把元素x添加到集合a中。程序段如下：
if x in a then a:=a-[x] else a:=a+[x]
例1、设全集E={1，2，3，4，5}，集合A={1，4}，B={1，2，5}，C={2，4}，则集合
(A∩B)∪～C 为（ ）。 （ NOIP2003单选8 ）
A）空集 B）{1} C）{3，5} D）{1，5} E）{1，3，5}
以上内容自转载：delphi语法基础--集合类型 http://www.xuedelphi.cn/wenzhang/pascal/2007/12/200712302017_2.htm
以下内容为探究的内容：
首先我们来看一个问题，
var sd: set of 1..9; t: set of 1..60; begin sd := []; // sd = [] sd := [1,2]; // sd = [1,2] sd := sd + [15]; // sd = [1,2,15] 按照定义，sd应该为1到9的值， // 15应该不能加进来，但实际能加进去，使用 Include(sd, 15)也是一样 sd := sd + [16]; // sd = [1,2,15] 发现大于16的数字无法添加进集合内 sd := sd + [25]; // sd = [1,2,15] sd := []; showmessage(inttostr(sizeof(sd))); // 输出 2 showmessage(inttostr(sizeof(t))); // 输出 8 end;
出现这种现象，我们从集合类型的在内存中存储结构来解析，集合的元素在内存中是按位来存储的，并以整数字节为存储单元，
比如 sd: set of 1..9 它在内存中需要9位来存储，超过一个字节8位，所以内存中是分配给2个字节存储空间。
我们可以通过
showmessage(inttostr(PWord(@sd)^))
来显示他在内存中的值。
比如 sd = [1,3,5,6]时，按照前面说的，对应二进制数为：1101010，就是第1位、第3位、第5位、第6位为1，对应十进制为106。
位是从第0位开始的，所以第零位也表示一个值。按照此原理，反过来，如果利用下面语句：
PWord(@sd)^ := 106;
得到的是sd也是[1,3,5,6]，如果sd: set of 1..60 ，则在内存中占8个字节，分别取出来，原理也是一样的。