उप-समुच्चय

गणित में, समुच्चय A, समुच्चय B का एक उपसमुच्चय है यदि A के सभी अवयव भी B के अवयव हैं; तब 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
 * कुल उपसमुच्चय