उप-समुच्चय

[[File:Venn A subset B.svg|150px|thumb|right|Euler आरेख A दिखाते हुए B, & nbsp; a⊂b, & nbsp का एक सबसेट है;और इसके विपरीत B, एक, & nbsp; b⊃a का एक सुपरसेट है।

गणित में, सेट ए सेट बी का 'सबसेट' है यदि ए के सभी तत्व बी के तत्व भी हैं;B तब A का एक 'सुपरसेट' है। यह A और B के लिए समान होना संभव है;यदि वे असमान हैं, तो A B का एक 'उचित उपसमूह' है। एक सेट के दूसरे का संबंध दूसरे का सबसेट है, जिसे 'समावेश' (या कभी -कभी 'नियंत्रण') कहा जाता है।A B का एक सबसेट है, जिसे B में शामिल किया जा सकता है (या शामिल किया गया है) A या A शामिल है।

सबसेट संबंध सेट पर एक आंशिक आदेश को परिभाषित करता है।वास्तव में, किसी दिए गए सेट के सबसेट सबसेट संबंध के तहत एक बूलियन बीजगणित बनाते हैं, जिसमें ज्वाइन एंड मीट को चौराहे और संघ द्वारा दिया जाता है, और सबसेट संबंध ही बूलियन समावेश संबंध है।

परिभाषाएँ
यदि A और B सेट हैं और A का प्रत्येक तत्व B का एक तत्व भी है, तो: तो:
 * A B का एक 'सबसेट' है, जिसे निरूपित किया गया है $$A \subseteq B$$, या समकक्ष,
 * बी एक 'सुपरसेट' है, जिसे निरूपित किया गया है $$B \supseteq A.$$

यदि A B का एक सबसेट है, लेकिन A B के बराबर नहीं है (यानी B का कम से कम एक तत्व मौजूद है जो A का एक तत्व नहीं है), तो: फिर:
 * A B का एक 'उचित' (या 'सख्त') 'सबसेट' है, जिसे द्वारा निरूपित किया गया है $$A \subsetneq B$$, या समकक्ष,
 * बी एक 'उचित' (या 'सख्त') 'सुपरसेट' है, जो द्वारा निरूपित किया गया है $$B \supsetneq A$$।

खाली सेट, लिखा $$\{ \}$$ या $$\varnothing,$$ किसी भी सेट X का एक सबसेट है और किसी भी सेट का एक उचित सबसेट है, सिवाय इसके, समावेश संबंध $$\subseteq$$ सेट पर एक आंशिक आदेश है $$\mathcal{P}(S)$$ (S का पावर सेट- S के सभी सबसेट का सेट ) द्वारा परिभाषित $$A \leq B \iff A \subseteq B$$।हम आंशिक रूप से ऑर्डर भी कर सकते हैं $$\mathcal{P}(S)$$ परिभाषित करके रिवर्स सेट समावेश द्वारा $$A \leq B \text{ if and only if }  B \subseteq A.$$ जब मात्रा निर्धारित की गई, $$A \subseteq B$$ के रूप में प्रतिनिधित्व किया जाता है $$\forall x \left(x \in A \implies x \in B\right).$$ हम बयान साबित कर सकते हैं $$A \subseteq B$$ तत्व तर्क के रूप में जानी जाने वाली एक प्रूफ तकनीक को लागू करके : सेट ए और बी दिए जाने दें।साबित करने के लिए $$A \subseteq B,$$ इस तकनीक की वैधता को सार्वभौमिक सामान्यीकरण के परिणाम के रूप में देखा जा सकता है: तकनीक शो $$c \in A \implies c \in B$$ एक मनमाने ढंग से चुने गए तत्व के लिए c।सार्वभौमिक सामान्यीकरण का अर्थ है $$\forall x \left(x \in A \implies x \in B\right),$$ जो इसके बराबर है $$A \subseteq B,$$ जैसा की ऊपर कहा गया है।
 * 1) मान लीजिए कि  ए  एक विशेष लेकिन मनमाने ढंग से चुना गया तत्व है
 * 2) दिखाएँ कि  ए   बी  का एक तत्व है।

गुण

 * एक सेट A B का एक 'सबसेट' है यदि और केवल अगर उनका चौराहा A के बराबर है
 * औपचारिक रूप से:
 * $$ A \subseteq B \text{ if and only if } A \cap B = A. $$


 * एक सेट A B का एक 'सबसेट' है यदि और केवल अगर उनका संघ B के बराबर है
 * औपचारिक रूप से:
 * $$ A \subseteq B \text{ if and only if } A \cup B = B. $$


 * एक परिमित सेट  ए   बी  का एक सबसेट है, अगर और केवल अगर उनके चौराहे की कार्डिनलिटी ए के कार्डिनलिटी के बराबर है।
 * औपचारिक रूप से:
 * $$ A \subseteq B \text{ if and only if } |A \cap B| = |A|.$$

⊂ और ⊃ प्रतीक
कुछ लेखक प्रतीकों का उपयोग करते हैं $$\subset$$ तथा $$\supset$$ संकेत करना तथा  क्रमश;अर्थात्, प्रतीकों के बजाय एक ही अर्थ के साथ $$\subseteq$$ तथा $$\supseteq.$$ उदाहरण के लिए, इन लेखकों के लिए, यह हर सेट ए का सच है $$A \subset A.$$ अन्य लेखक प्रतीकों का उपयोग करना पसंद करते हैं $$\subset$$ तथा $$\supset$$ संकेत करना (जिसे सख्त कहा जाता है) सबसेट और  क्रमशः सुपरसेट;अर्थात्, प्रतीकों के बजाय एक ही अर्थ के साथ $$\subsetneq$$ तथा $$\supsetneq.$$ यह उपयोग करता है $$\subseteq$$ तथा $$\subset$$ असमानता प्रतीकों के अनुरूप $$\leq$$ तथा $$<.$$ उदाहरण के लिए, यदि $$x \leq y,$$ तब x y के बराबर हो सकता है या नहीं, लेकिन अगर $$x < y,$$ तब x निश्चित रूप से y के बराबर नहीं है, और y से कम है।इसी तरह, सम्मेलन का उपयोग करना $$\subset$$ उचित सबसेट है, अगर $$A \subseteq B,$$ तब एक हो सकता है या नहीं हो सकता है, लेकिन अगर $$A \subset B,$$ फिर ए निश्चित रूप से बी के बराबर नहीं है।

सबसेट के उदाहरण

 * सेट a = {1, 2} b = {1, 2, 3} का एक उचित उपसमूह है, इस प्रकार दोनों अभिव्यक्तियाँ $$A \subseteq B$$ तथा $$A \subsetneq B$$ सच हैं।
 * सेट d = {1, 2, 3} एक सबसेट है (लेकिन E = {1, 2, 3} का एक उचित सबसेट), इस प्रकार $$D \subseteq E$$ सच है, और $$D \subsetneq E$$ सच नहीं है (गलत)।
 * कोई भी सेट स्वयं का एक सबसेट है, लेकिन एक उचित सबसेट नहीं है।($$X \subseteq X$$ सच है, और $$X \subsetneq X$$ किसी भी सेट एक्स के लिए गलत है।)
 * सेट {x: x एक प्रमुख संख्या 10 से अधिक है} {x: x का एक उचित उपसमूह है एक विषम संख्या 10 से अधिक है}
 * प्राकृतिक संख्याओं का सेट तर्कसंगत संख्याओं के सेट का एक उचित सबसेट है;इसी तरह, एक लाइन खंड में बिंदुओं का सेट A: INE (गणित) | लाइन में बिंदुओं के सेट का एक उचित सबसेट है।ये दो उदाहरण हैं जिनमें सबसेट और पूरे सेट दोनों अनंत हैं, और सबसेट में एक ही कार्डिनैलिटी (अवधारणा जो आकार से मेल खाती है, अर्थात, तत्वों की संख्या, एक परिमित सेट की) पूरी तरह से है;इस तरह के मामले किसी के प्रारंभिक अंतर्ज्ञान के लिए काउंटर चला सकते हैं।
 * तर्कसंगत संख्याओं का सेट वास्तविक संख्याओं के सेट का एक उचित सबसेट है।इस उदाहरण में, दोनों सेट अनंत हैं, लेकिन बाद वाले सेट में एक बड़ा कार्डिनैलिटी है (या ) पूर्व सेट की तुलना में।

एक यूलर आरेख में एक और उदाहरण:

समावेश के अन्य गुण
समावेशन विहित आंशिक आदेश है, इस अर्थ में कि प्रत्येक आंशिक रूप से आदेश दिया गया सेट $$(X, \preceq)$$ समावेश द्वारा आदेशित सेटों के कुछ संग्रह के लिए आइसोमॉर्फिक है।ऑर्डिनल नंबर एक सरल उदाहरण हैं: यदि प्रत्येक क्रमिक n को सेट के साथ पहचाना जाता है $$[n]$$ सभी अध्यादेशों से कम या उसके बराबर, फिर $$a \leq b$$ अगर और केवल अगर $$[a] \subseteq [b].$$ पावर सेट के लिए $$\operatorname{\mathcal{P}}(S)$$ एक सेट एस की, समावेशी आंशिक आदेश है - एक आदेश के लिए एक समरूपता - कार्टेशियन उत्पाद का $$k = |S|$$ (एस की कार्डिनैलिटी) आंशिक आदेश की प्रतियां $$\{0, 1\}$$ जिसके लिए $$0 < 1.$$ इसे एनमरेट करके सचित्र किया जा सकता है $$S = \left\{ s_1, s_2, \ldots, s_k \right\},$$, और प्रत्येक सबसेट के साथ जुड़ना $$T \subseteq S$$ (यानी, प्रत्येक तत्व $$2^S$$) के-टपल से $$\{0, 1\}^k,$$ जिनमें से ITH समन्वय 1 है यदि और केवल अगर $$s_i$$ टी का सदस्य है।

यह भी देखें

 * उत्तल सबसेट
 * समावेश आदेश
 * क्षेत्र
 * सबसेट योग समस्या
 * पदानुक्रम#subsumptive_containment_hierarchy | Subsumptive Contactment
 * कुल सबसेट