子集(粵拼: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} 嚟表示。
子集同基數嘅關係,可以用以下兩條式表示: