子集

係集合論入面嘅一個概念。

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

用運算子嚟寫，如果，咁。

一般會用，嚟表示。

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

完全子集 
如果係嘅子集係一個完全子集，咁。

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

例子

基數關係 
子集同基數嘅關係，可以用以下兩條式表示：
 如果，咁。
 如果，咁。

集合論
 集運算
 轉換
 狹義化
 必要條件

集合論