子集(Subset)係集合論入面嘅一個概念。

定義

假設 係一個集。如果  嘅子集,咁 入面嘅所有嘢都係同時屬於 入面嘅。

用運算子嚟寫,如果 ,咁 

一般會用, 嚟表示。

例子

  • 所有嘅雙數係整數 嘅子集。
  •   嘅子集。
  • 任何一個集  
  • 任何一個集  

完全子集

如果  嘅子集係一個完全子集(Proper Subset),咁 

一般會用 嚟表示。亦有人用 嚟表示。

例子

  •  

基數關係

子集同基數嘅關係,可以用以下兩條式表示:

  • 如果 ,咁 
  • 如果 ,咁 

睇埋