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