子集（粵拼：zi2 zaap6；Subset，粵拼：sap6 set1）係集合論入面嘅一個概念。
假設 X {\displaystyle X} 係一個集。如果 Y {\displaystyle Y} 係 X {\displaystyle X} 嘅子集，咁 Y {\displaystyle Y} 入面嘅所有嘢都係同時屬於 X {\displaystyle X} 入面嘅。
用運算子嚟寫，如果 y ∈ Y {\displaystyle y\in Y} ，咁 y ∈ X {\displaystyle y\in X} 。
一般會用， Y ⊆ X {\displaystyle Y\subseteq X} 嚟表示。
如果 Y {\displaystyle Y} 係 X {\displaystyle X} 嘅子集係一個完全子集（Proper Subset），咁 Y ≠ X {\displaystyle Y\neq X} 。
一般會用 Y ⊂ X {\displaystyle Y\subset X} 嚟表示。亦有人用 Y ⊊ X {\displaystyle Y\subsetneq X} 嚟表示。
子集同基數嘅關係，可以用以下兩條式表示：
係一個集。如果
係嘅子集，咁入面嘅所有嘢都係同時屬於入面嘅。
，咁
。
嚟表示。
嘅子集。
係
嘅子集。，
。，
。係嘅子集係一個完全子集（Proper Subset），咁
。
嚟表示。亦有人用
嚟表示。
，咁
。
，咁
。
