在 Wolfram 语言中，集合由有序列表表示.
Union — 求任意数目集合的并集
Intersection — 求任意数目集合的交集
Complement — 求关于一个泛集的补集
SymmetricDifference — 求任意数量集合的对称差
Subsets — 求一个集合的所有可能的子集（幂集）
Tuples — 从一个集合求由 n 个元素组成的所有可能的元组
Groupings — 求元素所有的分组方式
测试集合之间的关系
IntersectingQ ▪ DisjointQ ▪ SubsetQ
测试集合的包容性
ContainsAll ▪ ContainsNone ▪ ContainsAny ▪ ContainsOnly ▪ ContainsExactly
测试集合中的元素
Element ▪ MemberQ ▪ FreeQ
子集上的运算
SubsetCases — 求匹配模式的元素子集
SubsetPosition ▪ SubsetCount
SubsetReplace — 替代元素子集
从列表构建集合
DeleteDuplicates ▪ Sort ▪ DuplicateFreeQ ▪ DeleteAdjacentDuplicates ▪ UniqueElements
符号集合理论
ForAll ▪ Exists ▪ Resolve