集合是指具有某种特定性质的具体的或抽象的对象汇总而成的集体。其中，构成集合的这些对象则称为该集合的元素。

例如，全中国人的集合，它的元素就是每一个中国人。通常用大写字母如A,B,S,T,...表示集合，而用小写字母如a,b,x,y,...表示集合的元素。若x是集合S的元素，则称x属于S，记为x∈S。若y不是集合S的元素，则称y不属于S，记为y∉S

集合的类型

有限集和无限集

集合中元素的数目称为集合的基数，集合A的基数记作card(A)。当其为有限大时，集合A称为有限集，反之则为无限集。一般的，把含有有限个元素的集合叫做有限集，含无限个元素的集合叫做无限集。

空集

有一类特殊的集合，它不包含任何元素，如{x|x∈R x2+1=0} ，称之为空集，记为∅。空集是个特殊的集合，它有2个特点：

空集∅是任意一个非空集合的真子集。

空集是任何一个集合的子集[4]。

集合中元素的特性

确定性

给定一个集合，任给一个元素，该元素或者属于或者不属于该集合，二者必居其一，不允许有模棱两可的情况出现。[6]

互异性

一个集合中，任何两个元素都认为是不相同的，即每个元素只能出现一次。有时需要对同一元素出现多次的情形进行刻画，可以使用多重集，其中的元素允许出现多次。[6]

无序性

一个集合中，每个元素的地位都是相同的，元素之间是无序的。集合上可以定义序关系，定义了序关系后，元素之间就可以按照序关系排序。但就集合本身的特性而言，元素之间没有必然的序。[6]

元素与集合的关系

属于

如果元素a在集合A中，就说a属于A，记作a∈A。[9]

不属于

如果元素a不在集合A中，就说a不属于A，记作a∉A