子集是指包含在另一個集合中的集合。例如，若集合 A = {1, 2}，集合 B = {1, 2, 3, 4}，則 A 是 B 的子集。每個集合都是它自己的子集。空集合是任何集合的子集。

真子集是指不等於原集合的子集。 A 有 2 個元素；B 有 4 個元素。因為 A ≠ B，所以 A 是 B 的真子集。一個包含 n 個元素的集合的子集數為 2^n。

子集的概念出現在集合論、邏輯學和電腦科學。在機率論中，事件是樣本空間的子集。在資料庫中，查詢會選擇記錄的子集。這個概念雖然簡單，卻是現代數學的基礎。

• 包含在另一集合中的集合
• 每個集合都是它自己的子集。
• 空集合是每個集合的子集
• 子集的數量為 2^n