集合代数发展并描述了集合的基本性质和
规律，集合论运算，如并集、
交集、
补集，以及集合的
关系，如
等于、
包含。这门学科系统研究如何来表达和进行上述的运算和关系的操作。
定义
集代数是在有限的交与补下闭的非空集类。
性质
导言
集合代数是研究集合运算和
集合关系的基本性质的学科。研究这些性质可以深入探究集合的本质，也有助于实际应用。
像普通
算术的表达和计算一样，集合的表达和计算可能相当复杂。通过系统研究将有助于熟练使用和理解这些表达方式并进行计算。
在算术研究方面，是通过
初等代数来研究算术的运算和关系的。
例如：加法和乘法运算遵循人们看时候带吃熟知的交换律、结合律和
分配律传递性。 这些规律提供了简化计算的工具，并描述了算术的本质、运算和关系。
集合代数相当于
集合论中的算术代数。它是关于集合论运算如交集、并集、补集，和集合论关系如等于、包含等的代数：本文主要介绍这些内容。对集合的基本介绍请参见
集合，更详尽的内容请参见
朴素集合论。
基本结构
集合上通常自然定义的结构包括：
包含（ ）： 当且仅当 ；
真包含（ ）： 当且仅当 且 ；
交（ ）： 定义为 且 ；
并（ ）： 定义为 或；
差（）：定义为 且（亦称相对补）；
对称差（）：定义为 ；
补：补运算的前提是存在一个由上下文确定的全集X，其某个子集A对于X的补定义为X-A。
其它运算
幂集： 定义为。（A的幂集是A所有子集构成的集合）
特殊的集合
空集（）：没有任何元素的集合。
全集：这是一个由上下文确定的集合，通常上下文中其它的集合都是它的子集。
这些二元关系和二元运算构成了集合上的基本结构，包括
序结构和
代数结构。
代数结构
代数结构是关于运算的结构。以下是集合间运算的基本性质：
序结构
包含关系有如下性质：
自反性：；（任何集合都是其本身的子集）
反对称性：且；（这是证明两集合相等的常用手段之一）
传递性：且；
是集合间的一个非严格偏序关系。
真包含关系“”有如下性质：
反自反性：不成立；
非对称性：不成立；反之亦然；
传递性：且；
包含和真包含关系定义了集合间的一个
偏序关系。在该偏序关系的意义下两者等价，通常不失一般性地将该偏序关系指为 。
结构的定义
显然，上面的所有结果并不是独立的，大部分结果都可以从一个很小的结构推导出来。
比如很容易知道：
对称差可以用并和差来定义。
补可以用差来定义。
真包含关系可以用包含关系来定义。
包含关系可以用并，交，差之一来定义，这是因为等价于以下任一命题：
因此我们完全可以用并，交，差三个运算以及它们的相关性质推导出上面所有二元运算和二元关系的性质。当然这个“最小结构”的选择并不唯一，可以根据需要选择适当的方式。
下一个命题包含三种特殊集合：
空集、
全集、集合的
补集，给出关于它们的两组规律。
（1）同一性：
（2）补集律：
同一性（结合交换律）说明，就像 0 和 1 分别是加法和乘法的
单位元，和也分别是并集和交集的
单位元。
跟加法和乘法不同，并集和交集没有
逆元。然而，补集律给出了类似逆运算的
一元运算，集合的补集的基本性质。
上述五组性质：交换律、结合律、分配律、同一性和补集律，可以说包含了集合代数的所有内容，可以认为集合代数中所有正确的命题都是从它们得到的。
对偶性原理
上述命题有一个有趣的形式，就是每一组恒等式都是成对出现的。将 ∪ 和 ∩，或者 Ø 和U相互交换，一个恒等式就变成了相应的另一个。
这是集合代数的一个非常重要的性质，称作集合的对偶性原理。它对集合的所有真命题都有效。真命题通过相互交换 ∪ 和 ∩，Ø 和U，改变包含符号的方向得到的对偶命题也是真的。若一个命题和其对偶命题相同，则称其为自对偶的。
包含的代数
命题 2：若A,B,C 为集合，则下述成立：
（1）自反性：
（2）反对称性:
且 ，当且仅当A=B。
若 且，则。
下列命题说明对任意集合 S，S的
幂集按照包含来排列是个
有界格；因此，结合上述的分配律和补集律，它是一个
布尔代数。
命题 3：若 A,B,C是集合 S 的子集，则下述成立：
若且则。
若且则。
上述命题说明，集合的包含关系可以采用并集运算或交集运算来表示，即包含关系在公理体系中是多余的。