a交b為空集説明集合a和集合b中沒有相同的元素。集合，簡稱集，是數學中一個基本概念，也是集合論的主要研究對象。現代的集合一般被定義為：由一個或多個確定的元素所構成的整體。
集合是指具有某種特定性質的具體的或抽象的對象彙總而成的集體。其中，構成集合的這些對象則稱為該集合的元素。集合中元素的數目稱為集合的基數，集合A的基數記作card（A）。當其為有限大時，集合A稱為有限集，反之則為無限集。一般的，把含有有限個元素的集合叫做有限集，含無限個元素的集合叫做無限集。
集合在數學領域具有無可比擬的特殊重要性。集合論的基礎是由德國數學家康托爾在19世紀70年代奠定的，經過一大批科學家半個世紀的努力，到20世紀20年代已確立了其在現代數學理論體系中的基礎地位，可以説，現代數學各個分支的幾乎所有成果都構築在嚴格的集合理論上。
