a交b为空集说明集合a和集合b中没有相同的元素。集合，简称集，是数学中一个基本概念，也是集合论的主要研究对象。现代的集合一般被定义为：由一个或多个确定的元素所构成的整体。

集合是指具有某种特定性质的具体的或抽象的对象汇总而成的集体。其中，构成集合的这些对象则称为该集合的元素。集合中元素的数目称为集合的基数，集合A的基数记作card（A）。当其为有限大时，集合A称为有限集，反之则为无限集。一般的，把含有有限个元素的集合叫做有限集，含无限个元素的集合叫做无限集。

集合在数学领域具有无可比拟的特殊重要性。集合论的基础是由德国数学家康托尔在19世纪70年代奠定的，经过一大批科学家半个世纪的努力，到20世纪20年代已确立了其在现代数学理论体系中的基础地位，可以说，现代数学各个分支的几乎所有成果都构筑在严格的集合理论上。