集合是由一組無序且唯一（即不能重複）的項組成的。這個數據結構使用了與有限集合相同的數學概念，但應用在計算機科學的數據結構中。
在深入學習集合的計算機科學實現之前，我們先看看它的數學概念。在數學中，集合是一組不同的對象（的集）。
比如說，一個由大於或等於0的整數組成的自然數集合：N = {0, 1, 2, 3, 4, 5, 6, …}。集合中的對象列表用「{}」（大括號）包圍。
還有一個概念叫空集。空集就是不包含任何元素的集合。比如24和29之間的素數集合。由於24和29之間沒有素數（除了1和自身，沒有其他正因數的大於1的自然數），這個集合就是空集。空集用「{ }」表示。
你也可以把集合想像成一個既沒有重複元素，也沒有順序概念的數組。
在數學中，集合也有並集、交集、差集等基本操作。在這一章中我們也會介紹這些操作。