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