子集- 維基百科，自由的百科全書

也是一個很常見的符號，但其含義容易混淆。

有人用 ⊂ {\displaystyle \subset } \subset 和 ... 子集 維基百科，自由的百科全書 跳至導覽 跳至搜尋 A是B的子集 子集，爲某個集合中一部分的集合，故亦稱部分集合。

若 A {\displaystyleA} 和 B {\displaystyleB} 為集合，且 A {\displaystyleA} 的所有元素都是 B {\displaystyleB} 的元素，則有： A {\displaystyleA} 是 B {\displaystyleB} 的子集（或稱包含於 B {\displaystyleB} ）； A ⊆ B {\displaystyleA\subseteqB} ； B {\displaystyleB} 是 A {\displaystyleA} 的父集/超集（或稱包含 A {\displaystyleA} ）； B ⊇ A {\displaystyleB\supseteqA} . 所有集合 B {\displaystyleB} 都是其本身的子集。

不等於 B {\displaystyleB} 的 B {\displaystyleB} 的子集稱為真子集。

若 A {\displaystyleA} 是 B {\displaystyleB} 的真子集，則寫作 A ⫋ B {\displaystyleA\subsetneqqB} 。

"是……的子集"的關係稱為包含。

目次 1定義 2符號 3舉例 4性質 5參考文獻 6參見 定義[編輯] 假設有 A {\displaystyleA} 和 B {\displaystyleB} 兩個集合，如果 A {\displaystyleA} 中的每個元素都是 B {\displaystyleB} 的元素，則： A {\displaystyleA} 是 B {\displaystyleB} 的子集，記作 A ⊆ B {\displaystyleA\subseteqB} 也可以說 B {\displaystyleB} 是 A {\displaystyleA} 的超集，記作 B ⊇ A {\displaystyleB\supseteqA} 如果 A {\displaystyleA} 是 B {\displaystyleB} 的子集，但 A {\displaystyleA} 不等於 B {\displaystyleB} （即 B {\displaystyleB} 中至少存在一個元素不在 A {\displaystyleA} 集合中），則： A {\displaystyleA} 是 B {\displaystyleB} 的真子集，記作 A ⫋ B {\displaystyleA\subsetneqqB} 也可以說 B {\displaystyleB} 是 A {\displaystyleA} 的真超集，記作 B ⫌ A {\displaystyleB\supsetneqqA} 符號[編輯] 符號 ⊆ {\displaystyle\subseteq} 表示任何子集關係，符號 ⫋ {\displaystyle\subsetneqq} 表示真子集關係。

⊂ {\displaystyle\subset} 也是一個很常見的符號，但其含義容易混淆。

有人用 ⊂ {\displaystyle\subset} 和 ⊃ {\displaystyle\supset} 表示任何子集和超集關係，即 ⊆ {\displaystyle\subseteq} 和 ⊇ {\displaystyle\supseteq} 所分別代表的含義。

[1][2][3]所以在這些作者的文章中，對於任意集合 A {\displaystyleA} ， A ⊂ A {\displaystyleA\subsetA} 始終成立。

也有人用 ⊂ {\displaystyle\subset} 和 ⊃ {\displaystyle\supset} 表示真子集和真超集的概念，即 ⫋ {\displaystyle\subsetneqq} 和 ⫌ {\displaystyle\supsetneqq} 所分別代表的含義。

[4]:p.6這樣 ⊆ {\displaystyle\subseteq} 和 ⊂ {\displaystyle\subset} 就類似於不等符號 ≤ {\displaystyle\leq} 和 < {\displaystyle