a交b記作a∩b，（或b∩a），讀作「a交b」（或「b交a」），即a∩b={x|x∈a，且x∈b}，意思由屬於a且屬於b的相同元素組成的集合。
集合論，是數學的一個基本的分支學科，研究對象是一般集合。集合論在數學中占有一個獨特的地位，它的基本概念已滲透到數學的所有領域。集合論或集論是研究集合（由一堆抽象物構成的整體）的數學理論，包含了集合、元素和成員關係等最基本的數學概念。在大多數現代數學的公式化中，集合論提供了要如何描述數學物件的語言。集合論和邏輯與一階邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。