子集

A 為 B之子集

子集者，集中之集也。

定義

凡甲（A）之元素，乙（B）咸有之，則甲為乙之子集也（記曰「$A\subseteq B$」），或簡曰「乙含甲」或「甲含于乙」。

然乙有甲而甲非乙者，則甲乃乙之真子集耳（記曰「$A⊊B$」）。

例

• 整數集內，含偶數集耳。
• 五行之集，含「土、木」。（記曰「$\{a,b,c,d,e\}\supseteq \{d,e\}$」）
• 凡物咸含空集。（記曰「$A\supseteq \mathrm{\varnothing }$」）
• 凡集咸含己耳。（記曰「$A\supseteq A$」）