在 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