由乔治·^*康托尔(Cantor)创立的对逻辑和数学集合规则的研究。一个集合体是一套确定的事物或元素，如0到10之间所有奇整数的集合为{1，3，5，7，9}。没有元素的集合称为空集，用0表示。所有集合都包含在全集E中。集合与集合间的关系可用文恩图或符号表示。文恩图是以英国逻辑学家约翰^*文恩(1834—1923)的姓氏命名的。a∈A表示元素a是集合A的一分子，AᑕB表示集合A包含于集合B。A∪B表示集合A与集合B的并集。A∩B表示集合A与集合B的交集，即两个集合共有的元素。A°或A′表示A的补集，所有的元素在E中而不在A中。

集合理论 文恩图。