子集者,集中之集也。
凡甲(A)之元素,乙(B)咸有之,則甲為乙之子集也(記曰「 A ⊆ B {\displaystyle A\subseteq B} 」),或簡曰「乙含甲」或「甲含于乙」。
然乙有甲而甲非乙者,則甲乃乙之真子集耳(記曰「 A ⊊ B {\displaystyle A\subsetneq B} 」)。
元素| 集| 族| 子集| 交集| 併集| 補集| 冪集| 有序對| 直積| 關係| 映射| 等價| 偏序