二〇一〇年一二月一二日（日）一五時四五分審纂 91.201.240.3（議）盡除之 ←前辨		二〇一〇年一二月一二日（日）一五時四六分審纂悔 Hoo man（議｜勛）二〇筆編輯細去91.201.240.3之作（欲言之，可至此）為Luckas-bot之本耳後辨→
第一行： {{當代數學}} '''子集'''者，[[集]]中之集也。 <div style="float:right;margin:1em;">[[File:Venn_A_subset_B.svg\|150px\|center\|A is a subset of B]]<center><small> ''A'' 為 ''B''之子集</small></center></div> ==定義== 凡甲（A）之元素，乙（B）咸有之，則甲為乙之'''子集'''也（記曰「<math>A\subseteq B</math>」），或簡曰「乙含甲」或「乙含于甲」。然乙有甲而甲非乙者，則甲乃乙之'''[[真子集]]'''耳（記曰「<math>A\subsetneq B</math>」）。 ==例== :整數集內，含偶數集耳。 :五行之集，含「土、木」。（記曰「<math>\{a, b, c, d, e\} \supseteq \{d,e\}</math>」） :凡物咸含[[空集]]。（記曰「<math>A \supseteq \emptyset</math>」） :凡集咸含己耳。（記曰「<math>A \supseteq A</math>」） <!-- ==<math>A\subset B</math>== 疇人有以 <math>A\subset B</math> 代 <math>A\subseteq B</math> 者，或有以 <math>A\subset B</math> 代 <math>A\subseteq B</math> 者，不可不察。 ==例== :<math>\{1,3\} \subsetneq \{1,2,3,4\}</math> :<math>\{1, 2, 3, 4\} \subseteq \{1,2,3,4\}</math> :空集者，凡集皆有之，即<math>\emptyset \subseteq A</math> :凡集皆己之子集也，即<math>A \subseteq A</math> --> [[Category:集合]] {{集論}} [[ar:مجموعة جزئية]] [[be:Падмноства]] [[be-x-old:Падмноства]] [[bn:উপসেট]] [[ca:Subconjunt]] [[ckb:ژێرکۆمەڵ]] [[cs:Podmnožina]] [[de:Teilmenge]] [[el:Υποσύνολο]] [[en:Subset]] [[eo:Subaro]] [[es:Subconjunto]] [[et:Alamhulk]] [[fa:زیرمجموعه]] [[fi:Osajoukko]] [[fiu-vro:Alambhulk]] [[fr:Sous-ensemble]] [[he:תת-קבוצה]] [[hr:Podskup]] [[hu:Részhalmaz]] [[id:Himpunan bagian]] [[is:Hlutmengi]] [[it:Sottoinsieme]] [[ja:部分集合]] [[ko:부분집합]] [[ku:Binkom]] [[ms:Subset]] [[nl:Deelverzameling]] [[nn:Delmengd]] [[no:Delmengde]] [[pl:Podzbiór]] [[pt:Subconjunto]] [[ru:Подмножество]] [[scn:Suttanzemi]] [[simple:Subset]] [[sk:Podmnožina]] [[sl:Podmnožica]] [[sr:Подскуп]] [[sv:Delmängd]] [[uk:Підмножина]] [[vi:Tập hợp con]] [[zh:子集]]

「子集」：各本之異