View source for समुच्चय (गणित)

{{Short description|Collection of mathematical objects}}

[[File:Example of a set.svg|thumb|यूलर आरेख में बहुभुज का समुच्चय]]
'''समुच्चय''' मुख्य रूप से पृथक किया जाने वाले विभिन्न वस्तुओं या अवयवों के संग्रह के लिए गणितीय प्रारूप को प्रदर्शित  करता हैं।<ref name="Cantor"></ref> <ref name="JainAhmad1995">{{cite book|author1=P. K. Jain|author2=Khalil Ahmad|author3=Om P. Ahuja|title=Functional Analysis|url=https://books.google.com/books?id=yZ68h97pnAkC&pg=PA1|year=1995|publisher=New Age International|isbn=978-81-224-0801-0|page=1}}</ref><ref name="Goldberg1986">{{cite book|author=Samuel Goldberg|title=Probability: An Introduction|url=https://books.google.com/books?id=CmzFx9rB_FcC&pg=PA2|date=1 January 1986|publisher=Courier Corporation|isbn=978-0-486-65252-8|page=2}}</ref><ref name="CormenCormen2001">{{cite book|author1=Thomas H. Cormen|author2=Charles E Leiserson|author3=Ronald L Rivest|author4=Clifford Stein|title=Introduction To Algorithms|url=https://books.google.com/books?id=NLngYyWFl_YC&pg=PA1070|year=2001|publisher=MIT Press|isbn=978-0-262-03293-3|page=1070}}</ref> इस प्रकार किसी समुच्चय में तत्व या अवयव होते हैं, जो किसी भी प्रकार की गणितीय वस्तुएं हो सकती हैं: जैसे संख्या, प्रतीक, अंतरिक्ष, रेखाओं, अन्य ज्यामितीय आकार, चर, या यहां तक कि अन्य समुच्चय भी इसका उदाहरण हैं।{{sfn|Halmos|1960|p=[https://archive.org/details/naivesettheory00halm/page/n11/mode/2up 1]}} इसके साथ बिना किसी तत्व के जो समुच्चय उपयोग किया जाता हैं, इस प्रकार का समुच्चय रिक्त समुच्चय को प्रदर्शित करता है, इस प्रकार एकल तत्व के साथ समुच्चय सिंगलटन कहलाता है। किसी समुच्चय में तत्वों की सीमित संख्या हो सकती है या अनंत समुच्चय हो सकता है। इसके आधार पर दो समुच्चय समान होते हैं यदि उनके पास ठीक समान तत्व हैं।<ref name="Stoll">{{Cite book |last=Stoll |first=Robert |title=Sets, Logic and Axiomatic Theories |year=1974 |publisher=W. H. Freeman and Company |pages= [https://archive.org/details/setslogicaxiomat0000stol/page/5 5] |isbn=9780716704577 |url= https://archive.org/details/setslogicaxiomat0000stol |url-access=registration}}</ref> इस प्रकार आधुनिक गणित में समुच्चय सर्वव्यापी माने जाते हैं। इस प्रकार वास्तव में, समुच्चय सिद्धांत, अधिक विशेष रूप से जेर्मेलो -फ्रैंकेल समुच्चय सिद्धांत, 20 वीं शताब्दी की पहली छमाही के पश्चात गणित की सभी शाखाओं के लिए कठोर नींव प्रदान करने का मानक विधि देता है।{{sfn|Halmos|1960|p=[https://archive.org/details/naivesettheory00halm/page/n11/mode/2up 1]}}
== इतिहास ==
एक समुच्चय की अवधारणा 19 वीं शताब्दी के अंत में गणित में उभरी हैं। <Ref Name = Ferreirós2007>{{cite book|author=José Ferreirós|title=Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics|url=https://books.google.com/books?id=TXRBwwEACAAJ|date=16 August 2007|publisher=Birkhäuser Basel|isbn=978-3-7643-8349-7}}</ref> इस प्रकार समुच्चय के लिए जर्मन शब्द, मेन्ज, को अनंत के अपने काम के विरोधाभासों में बर्नार्ड बोलजानो द्वारा गढ़ा गया था।<ref>{{cite book|author=Steve Russ|title=The Mathematical Works of Bernard Bolzano|url=https://books.google.com/books?id=zp7cLQn0x3gC&pg=PR28|date=9 December 2004|publisher=OUP Oxford|isbn=978-0-19-151370-1}}</ref><ref name="EwaldEwald1996">{{cite book|author1=William Ewald|author2=William Bragg Ewald|title=From Kant to Hilbert Volume 1: A Source Book in the Foundations of Mathematics|url=https://books.google.com/books?id=rykSDAAAQBAJ&pg=PA249|year=1996|publisher=OUP Oxford|isbn=978-0-19-850535-8|page=249}}</ref><ref>{{cite book|author1=Paul Rusnock|author2=Jan Sebestík|title=Bernard Bolzano: His Life and Work|url=https://books.google.com/books?id=-hqJDwAAQBAJ&pg=PA430|date=25 April 2019|publisher=OUP Oxford|isbn=978-0-19-255683-7|page=430}}</ref> इस प्रकार जॉर्ज कैंटर की मूल समुच्चय परिभाषा के अनुवाद के साथ मार्ग को प्रदर्शित करता हैं। इसके आधार पर समुच्चय के लिए जर्मन वर्ड मेन्ज का अनुवाद यहां किया गया है। इस प्रकार समुच्चय सिद्धांत के संस्थापकों में से एक जॉर्ज कैंटर ने अपने बीटेज ज़ुर बेगुंडुंग डेर ट्रांसफिनिटेन मेंगेनलेहे के प्रारंभ में निम्नलिखित परिभाषा दी थी:<ref name= Cantor >{{cite journal |quote=By an aggregate (Menge) we are to understand any collection into a whole (Zusammenfassung zu einem Gansen) M of definite and 'separate' objects m  (p.85)|last1=Cantor |first1=Georg |last2=Jourdain |first2=((Philip E.B. (Translator))) |title=beiträge zur begründung der transfiniten Mengenlehre |journal=Mathematische Annalen |date=1895 |volume=xlvi;xlix |pages=481–512;207–246 |trans-title=contributions to the founding of the theory of transfinite numbers |publisher=New York Dover Publications (1954 English translation) |language=German |url=http://brinkmann-du.de/mathe/fos/fos01_03.htm|archive-url=https://web.archive.org/web/20110610133240/http://brinkmann-du.de/mathe/fos/fos01_03.htm |archive-date=2011-06-10 }}</ref>
{{quote|एक समुच्चय हमारी धारणा या हमारे विचार की निश्चित, विशिष्ट वस्तुओं को एक साथ एकत्रित करना है - जिन्हें समुच्चय के तत्व कहा जाता है।}}

बर्ट्रेंड रसेल ने समुच्चय वर्ग कहा:<ref>Bertrand Russell (1903) The Principles of Mathematics, chapter VI: Classes</ref> 

{{quote|जब गणितज्ञ किसी ऐसी चीज का निवारण करते हैं जिसे वे मैनिफोल्ड, एग्रीगेट, मेन्ज, एन्सेबल या कुछ समकक्ष नाम कहते हैं, तो यह सरल बात है, मुख्यतः जहां इसमें सम्मिलित शब्दों की संख्या सीमित है, प्रश्न में वस्तु (जो वास्तव में एक वर्ग है) को एक वर्ग के रूप में माना जाता है। इसे इसके पदों की गणना द्वारा परिभाषित किया गया है, और संभवतः इसमें एक ही पद उपस्थित होते है, जो उस स्थिति में वर्ग है।}}

=== नेव समुच्चय सिद्धांत ===
समुच्चय का सबसे महत्वपूर्ण मान यह है कि इसमें तत्व हो सकते हैं, जिसे अवयव भी कहा जाता है। दो समुच्चय समान होते हैं जब उनके समान तत्व होते हैं। इसके अधिक सटीक रूप से, समुच्चय A और B समान हैं यदि A का प्रत्येक तत्व B का तत्व है, और B का प्रत्येक तत्व A का तत्व है, इस संपत्ति को समुच्चय की विस्तारीकरण कहा जाता है।{{sfn|Halmos|1960|p=[https://archive.org/details/naivesettheory00halm/page/2/mode/2up 2]}} इस प्रकार किसी समुच्चय की सरल अवधारणा गणित में बहुत उपयोगी प्रमाणित हुई है, अपितु: श्रेणी: समुच्चय सिद्धांत के विरोधाभास भी उठते रहते हैं, क्यूंकि यदि कोई प्रतिबंध नहीं रखा जाता है तो समुच्चय कैसे बनाया जा सकता है:
* रसेल के विरोधाभास से पता चलता है कि सभी समुच्चयों का समुच्चय जो स्वयं नहीं है, अर्थात्, {{mset|''x'' | ''x'' is a set and ''x'' ∉ ''x''}}, इसमें सम्मिलित नहीं हो सकता हैं।
* कैंटर के विरोधाभास से पता चलता है कि सभी समुच्चयों का समुच्चय सम्मिलित नहीं हो सकता है।

नेव समुच्चय सिद्धांत अलग-अलग तत्वों के किसी भी अच्छी तरह से परिभाषित संग्रह के रूप में समुच्चय को परिभाषित करता है, अपितु समस्याएं अच्छी तरह से परिभाषित शब्द की अस्पष्टता से उत्पन्न होती हैं।

=== स्वयंसिद्ध समुच्चय सिद्धांत ===
नेव समुच्चय सिद्धांत के मूल सूत्रीकरण के समय से इन विरोधाभासों को हल करने के पश्चात इसके प्रयासों में, समुच्चय के गुणों को स्वयंसिद्ध द्वारा परिभाषित किया गया है। स्वयंसिद्ध समुच्चय सिद्धांत की धारणा के रूप में समुच्चय की अवधारणा को लेता है।<ref name="Ferreiros2001">{{cite book|author=Jose Ferreiros|title=Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics|url=https://books.google.com/books?id=DITy0nsYQQoC|date=1 November 2001|publisher=Springer Science & Business Media|isbn=978-3-7643-5749-8}}</ref> इस प्रकार स्वयंसिद्धों का उद्देश्य मौलिक रूप से इसे एक उचित संरचना प्रदान करना है, जिसमें से पहले-क्रम के तर्क का उपयोग करके समुच्चय के बारे में विशेष गणितीय प्रस्तावों (कथनों) की सच्चाई या मिथ्या को कम करना है। चूंकि, गोडेल के अपूर्णता प्रमेयों के अनुसार, किसी भी विशेष स्वयंसिद्ध समुच्चय सिद्धांत को यह प्रमाणित करने के लिए पहले-क्रम के तर्क का उपयोग करना संभव नहीं है कि वह विरोधाभास से मुक्त होता हैं।
== कैसे समुच्चय परिभाषित किए जाते हैं और अंकन समुच्चय करते हैं ==
गणितीय रूप से सामान्यतः बड़े अक्षरों द्वारा समुच्चय को निरूपित करते हैं<ref name="LipschutzLipson1997">{{cite book|author1=Seymor Lipschutz|author2=Marc Lipson|title=Schaum's Outline of Discrete Mathematics|url=https://books.google.com/books?id=6A5g3RiYiBUC&pg=PA1|date=22 June 1997|publisher=McGraw Hill Professional|isbn=978-0-07-136841-4|page=1}}</ref>{{sfn|Halmos|1960|p=[https://archive.org/details/naivesettheory00halm/page/n11/mode/2up 1]}} इस प्रकार इटैलिक में, जैसे {{mvar|A}}, {{mvar|B}}, {{mvar|C}}.<ref name=":1">{{Cite web|title=Introduction to Sets|url=https://www.mathsisfun.com/sets/sets-introduction.html|access-date=2020-08-19|website=www.mathsisfun.com}}</ref> समुच्चय को संग्रह या परिवार भी कहा जा सकता है, खासकर जब इसके तत्व स्वयं समुच्चय होते हैं।

=== रोस्टर अंकन ===
रोस्टर या एन्यूमरेशन अंकन समुच्चय को कर्ली कोष्ठक के बीच अपने तत्वों को सूचीबद्ध करके परिभाषित करता है, जिसे कॉमा द्वारा अलग किया जाता हैं:<ref name="Roberts2009">{{cite book|author=Charles Roberts|title=Introduction to Mathematical Proofs: A Transition|url=https://books.google.com/books?id=NjBLnLyE4jAC&pg=PA45|date=24 June 2009|publisher=CRC Press|isbn=978-1-4200-6956-3|page=45}}</ref><ref name="JohnsonJohnson2004">{{cite book|author1=David Johnson|author2=David B. Johnson|author3=Thomas A. Mowry|title=Finite Mathematics: Practical Applications (Docutech Version)|url=https://books.google.com/books?id=ZQAqzxLFXhoC&pg=PA220|date=June 2004|publisher=W. H. Freeman|isbn=978-0-7167-6297-3|page=220}}</ref><ref name="BelloKaul2013">{{cite book|author1=Ignacio Bello|author2=Anton Kaul|author3=Jack R. Britton|title=Topics in Contemporary Mathematics|url=https://books.google.com/books?id=d8Se_8DWTQ4C&pg=PA47|date=29 January 2013|publisher=Cengage Learning|isbn=978-1-133-10742-2|page=47}}</ref><ref name="Epp2010">{{cite book|author=Susanna S. Epp|title=Discrete Mathematics with Applications|url=https://books.google.com/books?id=PPc_2qUhXrAC&pg=PA13|date=4 August 2010|publisher=Cengage Learning|isbn=978-0-495-39132-6|page=13}}</ref>
{{block indent|{{math|1=''A'' = {{mset|4, 2, 1, 3}}}}}}
{{block indent|{{math|1=''B'' = {{mset|blue, white, red}}}}।}}

किसी समुच्चय में, यह सब मायने रखता है कि क्या प्रत्येक तत्व इसमें है या नहीं, इसलिए रोस्टर अंकन में तत्वों का आदेश अप्रासंगिक है, इसके विपरीत, अनुक्रम में, टपल, या समुच्चय का क्रमपरिवर्तन, ऑर्डरिंग के आदेश को उपयोग करते हैं। इस प्रकार उदाहरण के लिए, {{math|{{mset|2, 4, 6}}}} तथा {{math|{{mset|4, 6, 4, 2}}}} ही समुच्चय का प्रतिनिधित्व करते हैं।<ref name="MaurerRalston2005">{{cite book|author1=Stephen B. Maurer|author2=Anthony Ralston|title=Discrete Algorithmic Mathematics|url=https://books.google.com/books?id=_0vNBQAAQBAJ&pg=PA11|date=21 January 2005|publisher=CRC Press|isbn=978-1-4398-6375-6|page=11}}</ref><ref name=":1" /><ref name="DalenDoets2014">{{cite book|author1=D. Van Dalen|author2=H. C. Doets|author3=H. De Swart|title=Sets: Naïve, Axiomatic and Applied: A Basic Compendium with Exercises for Use in Set Theory for Non Logicians, Working and Teaching Mathematicians and Students|url=https://books.google.com/books?id=PfbiBQAAQBAJ&pg=PA1|date=9 May 2014|publisher=Elsevier Science|isbn=978-1-4831-5039-0|page=1}}</ref>

यहाँ पर कई तत्वों के साथ समुच्चय के लिए, विशेष रूप से निहित क्रम का पालन करने वाले, अवयवों की सूची को दीर्घवृत्त '{{math|...}}' का उपयोग करके संक्षिप्त किया जा सकता है।<ref name="BastaDeLong2013">{{cite book|author1=Alfred Basta|author2=Stephan DeLong|author3=Nadine Basta|title=Mathematics for Information Technology|url=https://books.google.com/books?id=VUYLAAAAQBAJ&pg=PA3|date=1 January 2013|publisher=Cengage Learning|isbn=978-1-285-60843-3|page=3}}</ref><ref name="BrackenMiller2013">{{cite book|author1=Laura Bracken|author2=Ed Miller|title=Elementary Algebra|url=https://books.google.com/books?id=nFkrl_kDiTAC&pg=PA36|date=15 February 2013|publisher=Cengage Learning|isbn=978-0-618-95134-5|page=36}}</ref>  उदाहरण के लिए, पहले हजार धनात्मक पूर्णांक के समुच्चय को रोस्टर अंकन में निर्दिष्ट किया जा सकता है
{{block indent|{{math|{{mset|1, 2, 3, ..., 1000}}}}।}}

==== रोस्टर अंकन में अनंत समुच्चय ====
एक अनंत समुच्चय तत्वों की अंतहीन सूची के साथ समुच्चय है। '''रोस्टर अंकन में अनंत समुच्चय''' का वर्णन करने के लिए एलिप्सिस को सूची के अंत में, या दोनों छोरों पर रखा जाता है, इस प्रकार यह इंगित करने के लिए कि सूची सदैव के लिए जारी रहती है। उदाहरण के लिए, गैर -पूर्णांक का समुच्चय है
{{block indent|{{nowrap|{{math|{{mset|0, 1, 2, 3, 4, ...}}}},}}}}
और सभी पूर्णांक का समुच्चय है
{{block indent|{{nowrap|{{math|{{mset|..., −3, −2, −1, 0, 1, 2, 3, ...}}}}.}}}}

=== सिमेंटिक परिभाषा ===
किसी समुच्चय को परिभाषित करने का तरीका यह है कि तत्व क्या हैं यह निर्धारित करने के लिए नियम का उपयोग करें:
{{block indent|मान लीजिए कि {{mvar|A}} वह समुच्चय है जिसके सदस्य पहले चार धनात्मक [[पूर्णांक|पूर्णांक]] हैं।}}
{{block indent|मान लीजिए कि {{mvar|B}} [[फ्रांस का ध्वज|फ्रांसीसी ध्वज]] के रंगों का समूह है।}}
इस तरह की परिभाषा को शब्दार्थ विवरण कहा जाता है।{{sfn|Halmos|1960|p=[https://archive.org/details/naivesettheory00halm/page/4/mode/2up 4]}}<ref name="Ruda2011">{{cite book|author=Frank Ruda|title=Hegel's Rabble: An Investigation into Hegel's Philosophy of Right|url=https://books.google.com/books?id=VV0SBwAAQBAJ&pg=PA151|date=6 October 2011|publisher=Bloomsbury Publishing|isbn=978-1-4411-7413-0|page=151}}</ref>
=== समुच्चय-बिल्डर अंकन ===
'''समुच्चय-बिल्डर अंकन''' तत्वों पर स्थिति द्वारा निर्धारित बड़े समुच्चय से चयन के रूप में समुच्चय को निर्दिष्ट करता है।<ref name="Ruda2011"/><ref name="Lucas1990">{{cite book|author=John F. Lucas|title=Introduction to Abstract Mathematics|url=https://books.google.com/books?id=jklsb5JUgoQC&pg=PA108|year=1990|publisher=Rowman & Littlefield|isbn=978-0-912675-73-2|page=108}}</ref><ref>{{Cite web|last=Weisstein|first=Eric W.|title=Set|url=https://mathworld.wolfram.com/Set.html|access-date=2020-08-19|website=mathworld.wolfram.com|language=en}}</ref> जैसे उदाहरण के लिए, समुच्चय {{mvar|F}} निम्नानुसार परिभाषित किया जा सकता है:<math display="block">F = \{n \mid n \text{ is an integer, and } 0 \leq n \leq 19\}.</math>इस संकेतन में, ऊर्ध्वाधर बार का अर्थ है कि, और विवरण की व्याख्या की जा सकती है, इस प्रकार {{mvar|F}} सभी नंबरों का समुच्चय है {{mvar|n}} ऐसा है कि {{mvar|n}} 0 से 19 समावेशी की सीमा में पूर्णांक है। इसके फलस्वरूप कुछ लेखक बृहदान्त्र का उपयोग करते हैं: ऊर्ध्वाधर बार के अतिरिक्त दिखाई देते हैं।<ref name="Steinlage1987">{{cite book|author=Ralph C. Steinlage|title=College Algebra|url=https://books.google.com/books?id=lcg3gY3444IC|year=1987|publisher=West Publishing Company|isbn=978-0-314-29531-6}}</ref>
=== परिभाषा के तरीकों को वर्गीकृत करना ===
दर्शन परिभाषाओं के प्रकारों को वर्गीकृत करने के लिए विशिष्ट शब्दों का उपयोग करता है:
*इसकी विभिन्न परिभाषाओं में इसकी अवयवता निर्धारित करने के लिए नियम का उपयोग करती है। इस प्रकार समुच्चय-बिल्डर अंकन का उपयोग करके सिमेंटिक परिभाषाएँ और परिभाषाएँ उदाहरण हैं।
*एक व्यापक परिभाषा उसके सभी तत्वों को सूचीबद्ध करके समुच्चय का वर्णन करती है।<ref name="Ruda2011"/> इस प्रकार की परिभाषाओं को एनुमेरेटिव भी कहा जाता है।
*एक अस्थिर परिभाषा वह है जो तत्वों के उदाहरण देकर समुच्चय का वर्णन करती है, इस प्रकार एक रोस्टर जिसमें एलिप्सिस सम्मिलित है।

== अवयवता ==
यदि {{mvar|B}} समुच्चय है और {{mvar|x}} का तत्व है {{mvar|B}}, यह शॉर्टहैंड में लिखा गया है, यहाँ पर {{math|''x'' ∈ ''B''}}, जिसे X के रूप में भी पढ़ा जा सकता है, B से संबंधित है, या इस प्रकार जो X B में उपस्थित है।{{sfn|Halmos|1960|p=[https://archive.org/details/naivesettheory00halm/page/2/mode/2up 2]}} इस कथन के फलस्वरूप y b का तत्व नहीं है, जो {{math|''y'' ∉ ''B''}} के रूप में लिखा गया है, जिसे y के रूप में भी पढ़ा जा सकता है परन्तु b में नहीं पढ़ा जा सकता है।<ref name="CapinskiKopp2004">{{cite book|author1=Marek Capinski|author2=Peter E. Kopp|title=Measure, Integral and Probability|url=https://books.google.com/books?id=jdnGYuh58YUC&pg=PA2|year=2004|publisher=Springer Science & Business Media|isbn=978-1-85233-781-0|page=2}}</ref><ref>{{Cite web|title=Set Symbols|url=https://www.mathsisfun.com/sets/symbols.html|access-date=2020-08-19|website=www.mathsisfun.com}}</ref> उदाहरण के लिए, समुच्चय के संबंध में {{math|1=''A'' = {{mset|1, 2, 3, 4}}}}, {{math|1=''B'' = {{mset|blue, white, red}}}}, तथा {{math|1=''F'' = {{mset|''n'' | ''n'' is an integer, and 0 ≤ ''n'' ≤ 19}}}},
{{block indent|{{math|4 ∈ ''A''}} and {{math|12 ∈ ''F''}}; and}}
{{block indent|{{math|20 ∉ ''F''}} and {{math|green ∉ ''B''}}.}}
== रिक्त समुच्चय ==
रिक्त समुच्चय (या अशक्त समुच्चय) अद्वितीय समुच्चय है जिसमें कोई अवयव नहीं है। इसे निरूपित {{math|∅}} या <math>\emptyset</math> या {{mset|&nbsp;}}{{sfn|Halmos|1960|p=[https://archive.org/details/naivesettheory00halm/page/8/mode/2up 8]}}<ref name="LeungChen1992">{{cite book|author1=K.T. Leung|author2=Doris Lai-chue Chen|title=Elementary Set Theory, Part I/II|url=https://books.google.com/books?id=cdmy2eOhJdkC&pg=PA27|date=1 July 1992|publisher=Hong Kong University Press|isbn=978-962-209-026-2|page=27}}</ref> या {{math|ϕ}}<ref>{{cite book|title=Understanding ISC Mathematics Class XI|volume=1|first=M.L.|last=Aggarwal|publisher=Arya Publications (Avichal Publishing Company)|year=2021|chapter=1. Sets|page=A=3}}</ref> (या {{mvar|ϕ}})।<ref>{{cite book|title=Chhaya Ganit (Ekadash Shreni)|first=De|last=Sourendra Nath|publisher=Scholar Books Pvt. Ltd.|date=January 2015|chapter=Unit-1 Sets and Functions: 1. Set Theory|page=5}}</ref> द्वारा किया गया है 
== सिंगलटन समुच्चय ==
एक सिंगलटन समुच्चय बिल्कुल तत्व के साथ समुच्चय है,इस तरह के समुच्चय को यूनिट समुच्चय भी कहा जा सकता है।<ref name="Stoll"/> इस प्रकार किसी भी समुच्चय को {{mset|''x''}}, जहां x तत्व के रूप में लिखा जा सकता है । इस समुच्चय {{mset|''x''}} और तत्व x का अर्थ अलग -अलग चीजें हैं, यहाँ पर हल्मोस{{sfn|Halmos|1960|loc=[https://archive.org/details/naivesettheory00halm/page/4/mode/2up Sect.2]}} सादृश्य को खींचता है कि कैप युक्त बॉक्स कैप के समान नहीं है।

== उपसमुच्चय ==
यदि समुच्चय A का प्रत्येक तत्व B में भी है, तो A को B के उपसमुच्चय के रूप में वर्णित किया गया है, या B में निहित है, जहाँ पर A ⊆ B  या B ⊇ A में लिखा है।<ref name="Hausdorff2005">{{cite book|author=Felix Hausdorff|title=Set Theory|url=https://books.google.com/books?id=yvVIdH16k0YC&pg=PA30|year=2005|publisher=American Mathematical Soc.|isbn=978-0-8218-3835-8|page=30}}</ref><ref name="Comninos2010">{{cite book|author=Peter Comninos|title=Mathematical and Computer Programming Techniques for Computer Graphics|url=https://books.google.com/books?id=Kdb7-YnnOVwC&pg=PA7|date=6 April 2010|publisher=Springer Science & Business Media|isbn=978-1-84628-292-8|page=7}}</ref>  इस प्रकार इसके पश्चात संकेतन को पढ़ा जा सकता है, जो मुख्य रूप से B में A, B सम्मिलित है, या B सम्मिलित है। यहाँ पर A का सुपरसमुच्चय है। इसके कारण ⊆ द्वारा स्थापित समुच्चयों के बीच संबंध को समावेश या नियंत्रण कहा जाता है। जो इस प्रकार दो समुच्चय समान हैं यदि वे दूसरे को सम्मिलित करते हैं: इसके फलस्वरूप A ⊆ B और B ⊆ A A = B के बराबर है।<ref name="Lucas1990"/>

यदि A B का उपसमुच्चय है, अपितु A B के बराबर नहीं है, तो A को B का उचित उपसमुच्चय कहा जाता है। इसे ⊊ B. इसी प्रकार लिखा जा सकता है, यहाँ पर B ⊋ A MEANS B का उचित सुपरसमुच्चय है, अर्थात् B इसमें सम्मिलित हैं, और A के बराबर नहीं है।

ऑपरेटरों की तीसरी जोड़ी ⊂ और ⊃ का उपयोग अलग -अलग लेखकों द्वारा अलग -अलग तरीके से किया जाता है: कुछ लेखक ⊂ B और B ⊃ A का अर्थ है, A का अर्थ B का कोई उपसमुच्चय है, और आवश्यक नहीं कि उचित उपसमुच्चय हो,{{sfn|Halmos|1960|p=[https://archive.org/details/naivesettheory00halm/page/2/mode/2up 3]}}<ref name="CapinskiKopp2004"/> जबकि अन्य उन मामलों के लिए ⊂ B और B ⊃ A को आरक्षित करते हैं, जहां A B का उचित उपसमुच्चय है।<ref name="Hausdorff2005"/>

उदाहरण:
* सभी मनुष्यों का समुच्चय सभी स्तनधारियों के समुच्चय का उचित उपसमुच्चय है।
* {{mset|1, 3}} ⊂ {{mset|1, 2, 3, 4}}।
* {{mset|1, 2, 3, 4}} ⊆ {{mset|1, 2, 3, 4}}।

रिक्त समुच्चय हर समुच्चय का उपसमुच्चय है,{{sfn|Halmos|1960|p=[https://archive.org/details/naivesettheory00halm/page/8/mode/2up 8]}} और हर समुच्चय अपने आप में उपसमुच्चय है:{{sfn|Halmos|1960|p=[https://archive.org/details/naivesettheory00halm/page/2/mode/2up 3]}}
* ∅ ⊆ A. A.
* ए ⊆ ए।

== यूलर और वेन आरेख ==
[[File:Venn A subset B.svg|thumb|150px|A B. <br> B का उपसमुच्चय है। A का सुपरसमुच्चय है।]]
'''यूलर आरेख''' समुच्चय के संग्रह का चित्रमय प्रतिनिधित्व है, इसके कारण प्रत्येक समुच्चय को लूप द्वारा संलग्न प्लानर क्षेत्र के रूप में दर्शाया गया है, जिसके अंदर उसके तत्व हैं। यदि इस प्रकार {{mvar|A}} का उपसमुच्चय {{mvar|B}} है, फिर क्षेत्र का प्रतिनिधित्व करना {{mvar|A}} पूर्ण रूप से प्रतिनिधित्व करने वाले क्षेत्र {{mvar|B}} के अंदर है। यदि दो समुच्चयों में कोई तत्व सामान्य नहीं है, तो क्षेत्र ओवरलैप नहीं करते हैं।

किसी वेन आरेख के विपरीत, चित्रमय प्रतिनिधित्व है, जो {{mvar|n}} समुच्चय का उपयोग करता है, जिसमें {{mvar|n}} लूप विमान को विभाजित करें {{math|2{{sup|''n''}}}} ऐसे जोन ऐसे हैं कि कुछ का चयन करने के प्रत्येक तरीके के लिए {{mvar|n}} समुच्चय (संभवतः सभी या कोई भी), उन तत्वों के लिए क्षेत्र है, जो सभी चयनित समुच्चयों से संबंधित हैं और दूसरों में से कोई भी नहीं हैं। उदाहरण के लिए, यदि समुच्चय हैं, इस प्रकार {{mvar|A}}, {{mvar|B}}, तथा {{mvar|C}}, उन तत्वों के लिए क्षेत्र होना चाहिए जो अंदर हैं, तथा {{mvar|A}} तथा {{mvar|C}} और बाहर {{mvar|B}} भले ही ऐसे तत्व सम्मिलित नहीं होता हैं।

== गणित में संख्याओं के विशेष समुच्चय ==
[[File:NumberSetinC.svg|thumb|प्राकृतिक संख्याएँ <math>\mathbb{N}</math> पूर्णांक में निहित हैं <math>\mathbb{Z}</math>, जो तर्कसंगत संख्याओं में निहित हैं <math>\mathbb{Q}</math>, जो वास्तविक संख्या में निहित हैं <math>\mathbb{R}</math>, जो जटिल संख्याओं में निहित हैं <math>\mathbb{C}</math>]]
इस प्रकार के गणितीय महत्व के समुच्चय हैं, जिनके लिए गणितज्ञ इतने बार संदर्भित करते हैं, कि उन्होंने उनकी पहचान करने के लिए विशेष नाम और उल्लेखनीय सम्मेलनों का अधिग्रहण किया जाता है।

इनमें से कई महत्वपूर्ण समुच्चयों को गणितीय ग्रंथों में बोल्ड का उपयोग करके दर्शाया गया है, उदाहरण के लिए <math>\bold Z</math> या ब्लैकबोर्ड बोल्ड <math>\mathbb Z</math> टाइपफेस इसका उदाहरण हैं।<ref name="Tourlakis2003">{{cite book|author=George Tourlakis|title=Lectures in Logic and Set Theory: Volume 2, Set Theory|url=https://books.google.com/books?id=nparMXao59QC&pg=PA137|date=13 February 2003|publisher=Cambridge University Press|isbn=978-1-139-43943-5|pages=137}}</ref> इसमे सम्मिलित है
* <math>\bold N</math> या <math>\mathbb N</math>, सभी प्राकृतिक संख्याओं का समुच्चय: <math>\bold N=\{0,1,2,3,...\}</math> अधिकांशतः लेखक {{math|0}} के बाहर इसका उपयोग करते हैं ,<ref name="Tourlakis2003"/> इस प्रकार * <math>\bold Z</math> या <math>\mathbb Z</math>, सभी पूर्णांक का समुच्चय (चाहे धनात्मक, ऋणात्मक या शून्य): <math>\bold Z=\{...,-2,-1,0,1,2,3,...\}</math>,<ref name="Tourlakis2003"/>* <math>\bold Q</math> या <math>\mathbb Q</math>, सभी तर्कसंगत संख्याओं का समुच्चय अर्ताथ, सभी उचित और अनुचित अंशों का समुच्चय: <math>\bold Q=\left\{\frac {a}{b}\mid a,b\in\bold Z,b\ne0\right\}</math> हैं। उदाहरण के लिए, {{math|&minus;{{sfrac|7|4}} ∈ '''Q'''}} तथा {{math|5 {{=}} {{sfrac|5|1}} ∈ '''Q'''}},<ref name="Tourlakis2003"/>* <math>\bold R</math> या <math>\mathbb R</math>, सभी वास्तविक संख्याओं का समुच्चय, जिसमें सभी तर्कसंगत संख्या और सभी तर्कहीन संख्याएं सम्मिलित हैं, जिसमें बीजीय संख्या सम्मिलित हैं, जैसे <math>\sqrt2</math> इसे अंशों के रूप में फिर से नहीं लिखा जा सकता है, इसके साथ ही ट्रान्सेंडैंटल नंबरों जैसे {{mvar|π}} तथा {{math|''e''}},<ref name="Tourlakis2003"/>* <math>\bold C</math> या <math>\mathbb C</math>, सभी जटिल संख्याओं का समुच्चय: {{math|1='''C''' = {{mset|''a'' + ''bi'' | ''a'', ''b'' ∈ '''R'''}}}}, उदाहरण के लिए, {{math|1 + 2''i'' ∈ '''C'''}} इसका प्रमुख उदाहरण हैं।<ref name="Tourlakis2003"/>

संख्याओं के उपरोक्त समुच्चयों में से प्रत्येक में अनंत संख्या में तत्व होते हैं। इस प्रकार प्रत्येक इसके नीचे सूचीबद्ध समुच्चयों का उपसमुच्चय है।

धनात्मक या ऋणात्मक संख्याओं के समुच्चय को कभी -कभी सुपरस्क्रिप्ट प्लस और माइनस संकेतों द्वारा क्रमशः निरूपित किया जाता है। इस प्रकार उदाहरण के लिए, <math>\mathbf{Q}^+</math> धनात्मक तर्कसंगत संख्याओं के समुच्चय का प्रतिनिधित्व करता है।

== कार्य ==
एक समुच्चय से फलन (या मैपिंग) {{mvar|A}} समुच्चय पर {{mvar|B}} नियम है, जो प्रत्येक इनपुट तत्व को असाइन करता है, यहाँ पर {{mvar|A}} आउटपुट जो तत्व {{mvar|B}} है, इसके लिए अधिक औपचारिक रूप से फलन का विशेष प्रकार का संबंध है, जो प्रत्येक तत्व से संबंधित है {{mvar|A}} के बिल्कुल तत्व के लिए {{mvar|B}} का उपयोग करता हैं। इसे इसका प्रमुख फलन कहा जाता है
* इंजेक्शन (या एक-से-एक) यदि यह किसी भी दो अलग-अलग तत्वों को मैप करता है {{mvar|A}} के विभिन्न तत्वों के लिए {{mvar|B}},
* सर्जिकल (या पर) यदि हर तत्व के लिए {{mvar|B}}, कम से कम तत्व है {{mvar|A}} कि यह नक्शे, और
* फाइल जेक्टिव (या एक-से-एक पत्राचार) यदि फलन इंजेक्टिव और सर्जिकल दोनों है- इस स्थिति में, प्रत्येक तत्व का {{mvar|A}} के अनूठे तत्व के साथ जोड़ा जाता है {{mvar|B}}, और प्रत्येक तत्व {{mvar|B}} के अनूठे तत्व के साथ जोड़ा जाता है {{mvar|A}}, ताकि कोई अप्रकाशित तत्व न हो।
एक इंजेक्शन फलन को इंजेक्शन कहा जाता है, सर्जिकल फलन को अधिसूचना कहा जाता है, और द्विध्र हुए फलन को बायजमेंट या एक-से-एक पत्राचार कहा जाता है।

== कार्डिनलिटी ==
किसी समुच्चय की कार्डिनलिटी {{math|''S''}}, निरूपित {{math|{{mabs|''S''}}}}, के अवयवों की संख्या है {{math|''S''}}.<ref name="Moschovakis1994">{{cite book|author=Yiannis N. Moschovakis|title=Notes on Set Theory|url=https://books.google.com/books?id=ndx0_6VCypcC|year=1994|publisher=Springer Science & Business Media|isbn=978-3-540-94180-4}}</ref> उदाहरण के लिए, यदि {{math|''B'' {{=}} {{mset|blue, white, red}}}}, फिर {{math|1={{mabs|B}} = 3}}।रोस्टर संकेतन में बार -बार अवयवों की गिनती नहीं की जाती है,<ref name="Fleck2001">{{cite book|author=Arthur Charles Fleck|title=Formal Models of Computation: The Ultimate Limits of Computing|url=https://books.google.com/books?id=c42oYf4zBzMC&pg=PA3|year=2001|publisher=World Scientific|isbn=978-981-02-4500-9|page=3}}</ref><ref name="Johnston2015">{{cite book|author=William Johnston|title=The Lebesgue Integral for Undergraduates|url=https://books.google.com/books?id=v4ueCgAAQBAJ&pg=PA7|date=25 September 2015|publisher=The Mathematical Association of America|isbn=978-1-939512-07-9|page=7}}</ref> इसलिए {{math|1={{mabs|{{mset|blue, white, red, blue, white}}}} = 3}}, भी हैं।

इसे अधिक औपचारिक रूप से, दो समुच्चय ही कार्डिनलिटी साझा करते हैं यदि उनके बीच एक-से-एक पत्राचार सम्मिलित है। इस प्रकार रिक्त समुच्चय की कार्डिनलिटी शून्य है।<ref name="Smith2008">{{cite book|author=Karl J. Smith|title=Mathematics: Its Power and Utility|url=https://books.google.com/books?id=-0x2JszrkooC&pg=PA401|date=7 January 2008|publisher=Cengage Learning|isbn=978-0-495-38913-2|page=401}}</ref>
=== अनंत समुच्चय और अनंत कार्डिनलिटी ===
कुछ समुच्चयों के तत्वों की सूची अंतहीन, या अनंत है। उदाहरण के लिए, समुच्चय <math>\N</math> प्राकृतिक संख्याओं का अनंत है।<ref name="Lucas1990"/> वास्तव में, उपरोक्त अनुभाग में उल्लिखित संख्याओं के सभी विशेष समुच्चय अनंत हैं। इस प्रकार अनंत समुच्चय में अनंत कार्डिनलिटी होती है।

कुछ अनंत कार्डिनल दूसरों की तुलना में अधिक हैं। इस प्रकार संभवतः समुच्चय सिद्धांत से सबसे महत्वपूर्ण परिणामों में से यह है कि वास्तविक संख्याओं के समुच्चय में प्राकृतिक संख्याओं के समुच्चय की तुलना में अधिक कार्डिनैलिटी होती है।<ref name="Stillwell2013">{{cite book|author=John Stillwell|title=The Real Numbers: An Introduction to Set Theory and Analysis|url=https://books.google.com/books?id=VPe8BAAAQBAJ|date=16 October 2013|publisher=Springer Science & Business Media|isbn=978-3-319-01577-4}}</ref> कार्डिनलिटी के साथ समुच्चय से कम या उसके बराबर <math>\N</math> गणना योग्य समुच्चय कहा जाता है,ये या तो परिमित समुच्चय या अनगिनत अनंत समुच्चय हैं, इसके कारण उसी कार्डिनलिटी के समुच्चय <math>\N</math> गिनती के लिए गिनती करने योग्य का उपयोग करते हैं। इस प्रकार कार्डिनलिटी के साथ से अधिक से अधिक समुच्चय करता है, जिसमें <math>\N</math> प्रसारित समुच्चय कहा जाता है।

चूंकि इस प्रकार यह दिखाया जा सकता है कि सीधी रेखा की कार्डिनलिटी अर्ताथ, लाइन पर बिंदुओं की संख्या को उस लाइन के किसी भी खंड की कार्डिनलिटी के समान है, इस प्रकार इसके पूरे समतल की और वास्तव में किसी भी परिमित-आयामी यूक्लिडियन की अंतरिक्ष उपलब्ध हैं।<ref name="Tall2006">{{cite book|author=David Tall|title=Advanced Mathematical Thinking|url=https://books.google.com/books?id=czKqBgAAQBAJ&pg=PA212|date=11 April 2006|publisher=Springer Science & Business Media|isbn=978-0-306-47203-9|pages=211}}</ref>
=== कॉन्टिनम परिकल्पना ===
1878 में जॉर्ज कैंटर द्वारा तैयार की गई निरंतरता परिकल्पना, यह कथन है कि कार्डिनलिटी के साथ  से कोई समुच्चय नहीं है, जो प्राकृतिक संख्याओं की कार्डिनलिटी और सीधी रेखा के कार्डिनलिटी के बीच  से समुच्चय है।<ref name = "Cantor1878">{{Cite journal
 | first = Georg | last = Cantor
 | title = Ein Beitrag zur Mannigfaltigkeitslehre
 | journal = [[Journal für die Reine und Angewandte Mathematik]]
 | volume = 1878 | issue = 84
 | year = 1878 | pages=242–258
 | url = http://www.digizeitschriften.de/dms/img/?PPN=PPN243919689_0084&DMDID=dmdlog15 | doi=10.1515/crll.1878.84.242}}</ref> इस प्रकार 1963 में, पॉल कोहेन ने प्रमाणित किया कि कॉन्टिनम परिकल्पना एक्सिओम सिस्टम ZFC से स्वतंत्र है, जिसमें ज़रमेलो -फ्रेनकेल समुच्चय सिद्धांत से मिलकर पसंद है।<ref name = "Cohen1963">
{{Cite journal
 | first = Paul J. | last = Cohen
 | title = The Independence of the Continuum Hypothesis
 | journal = Proceedings of the National Academy of Sciences of the United States of America
 | volume = 50 | issue = 6 | date = December 15, 1963 | pages = 1143–1148
 | doi = 10.1073/pnas.50.6.1143
 | pmid = 16578557
 | pmc = 221287 | jstor=71858
 | bibcode = 1963PNAS...50.1143C| doi-access = free
 }}
</ref> इस प्रकार ZFC स्वयंसिद्ध समुच्चय सिद्धांत का सबसे व्यापक रूप से अध्ययन किया गया संस्करण है।

== पावर समुच्चय ==
किसी समुच्चय का पावर समुच्चय {{math|''S''}} के सभी उपसमुच्चय का समुच्चय {{math|''S''}} है,<ref name="Lucas1990" /> इस प्रकार किसी रिक्त समुच्चय और {{math|''S''}} स्वयं के पावर समुच्चय के तत्व {{math|''S''}} हैं, क्योंकि ये दोनों उपसमुच्चय {{math|''S''}} हैं। उदाहरण के लिए, का पावर समुच्चय {{math|{{mset|1, 2, 3}}}} है {{math|{{mset|∅, {{mset|1}}, {{mset|2}}, {{mset|3}}, {{mset|1, 2}}, {{mset|1, 3}}, {{mset|2, 3}}, {{mset|1, 2, 3}}}}}} को प्रदर्शित करते हैं। इस प्रकार किसी समुच्चय का पावर समुच्चय {{math|''S''}} सामान्यतः {{math|''P''(''S'')}} या {{math|2{{sup|''S''}}}} प्रकार लिखा जाता है।<ref name="Lucas1990" />{{sfn|Halmos|1960|p=[https://archive.org/details/naivesettheory00halm/page/18/mode/2up 19]}}<ref name=":1" />

यदि {{math|''S''}} है {{math|''n''}} तत्व, फिर {{math|''P''(''S'')}} {{math|2{{sup|''n''}}}} तत्व है।{{sfn|Halmos|1960|p=[https://archive.org/details/naivesettheory00halm/page/20/mode/2up 20]}} उदाहरण के लिए, {{math|{{mset|1, 2, 3}}}} में तीन तत्व हैं, और इसका {{math|2{{sup|3}} {{=}} 8}} तत्व पावर समुच्चय है, जैसा कि ऊपर दिखाया गया है।

यदि {{math|''S''}} अनंत है, चाहे गिनती योग्य हो या फिर {{math|''P''(''S'')}} है। इसके अतिरिक्त, पावर समुच्चय सदैव मूल समुच्चय की तुलना में कड़ाई से बड़ा होता है, इस अर्थ में कि तत्वों को जोड़ने का कोई भी प्रयास {{math|''S''}} के तत्वों के साथ {{math|''P''(''S'')}} के कुछ तत्व छोड़ देंगे {{math|''P''(''S'')}} अप्रकाशित होती हैं। जो कभी भी बायजेक्शन {{math|''S''}} पर {{math|''P''(''S'')}} नहीं है।<ref name="BurgerStarbird2004">{{cite book|author1=Edward B. Burger|author2=Michael Starbird|title=The Heart of Mathematics: An invitation to effective thinking|url=https://books.google.com/books?id=M-qK8anbZmwC&pg=PA183|date=18 August 2004|publisher=Springer Science & Business Media|isbn=978-1-931914-41-3|page=183}}</ref>
== विभाजन ==
किसी समुच्चय एस का विभाजन एस के गैर -रिक्त उपसमुच्चय का समुच्चय है, जैसे कि एस में प्रत्येक तत्व एक्स इन उपसमुच्चयों में से में है। इस प्रकार किसी उपसमुच्चय पेयरवाइज डिसजॉइंट हैं, जिसका अर्थ है कि विभाजन के किसी भी दो समुच्चय में कोई तत्व नहीं होता है, और विभाजन के सभी उपसमुच्चयों का संघ एस है।<ref name="Mansour2012">{{cite book|author=Toufik Mansour|title=Combinatorics of Set Partitions|url=https://books.google.com/books?id=5NvrH4w8WGsC|date=27 July 2012|publisher=CRC Press|isbn=978-1-4398-6333-6}}</ref>{{sfn|Halmos|1960|p=[https://archive.org/details/naivesettheory00halm/page/28/mode/2up 28]}}
== मूल संचालन ==
इस प्रकार दिए गए समुच्चयों से नए समुच्चय बनाने के लिए कई मौलिक संचालन हैं।

=== यूनियनों ===
[[File:Venn0111.svg|thumb|<div class = केंद्र> का संघ {{math|''A''}} तथा {{math|''B''}}, निरूपित {{math|''A'' ∪ ''B''}}</div>]]
दो समुच्चय में सम्मिलित हो सकते हैं: संघ {{math|''A''}} तथा {{math|''B''}}, द्वारा चिह्नित {{math|''A'' ∪ ''B''}}, उन सभी चीजों का समुच्चय है जो A या B या दोनों के अवयव हैं।

उदाहरण:
* {{math|1={1, 2} ∪ {1, 2} = {1, 2}.}}
* {{math|1={1, 2} ∪ {2, 3} = {1, 2, 3}.}}
* {{math|1={1, 2, 3} ∪ {3, 4, 5} = {1, 2, 3, 4, 5}.}}
यूनियनों के कुछ मौलिक गुण:
* {{math|1=''A'' ∪ ''B'' = ''B'' ∪ ''A''.}}
* {{math|1=''A'' ∪ (''B'' ∪ ''C'') = (''A'' ∪ ''B'') ∪ ''C''.}}
* {{math|1=''A'' ⊆ (''A'' ∪ ''B'').}}
* {{math|1=''A'' ∪ ''A'' = ''A''.}}
* {{math|1=''A'' ∪ ∅ = ''A''.}}
* {{math|''A'' ⊆ ''B''}} यदि {{math|1=''A'' ∪ ''B'' = ''B''.}}
=== प्रतिच्छेदन ===
एक नए समुच्चय का निर्माण यह निर्धारित करके भी किया जा सकता है, कि कौन से अवयवों के दो समुच्चय समान हैं। इस प्रकार A और B के प्रतिच्छेदन द्वारा निरूपित किया गया हैं। इस प्रकार {{nowrap|''A'' ∩ ''B'',}} सभी चीजों का समुच्चय है जो A और B दोनों के अवयव हैं, जहाँ पर {{nowrap|1=''A'' ∩ ''B'' = ∅,}} तब A और B को असंतुष्ट कहा जाता है।
[[File:Venn0001.svg|thumb|<div class = केंद्र> A और B का प्रतिच्छेदन, निरूपित {{nowrap|''A'' ∩ ''B''.}}</div>]]
उदाहरण:
* {{nowrap|1={1, 2} ∩ {1, 2} = {1, 2}.}}
* {{nowrap|1={1, 2} ∩ {2, 3} = {2}.}}
* {{nowrap|1={1, 2} ∩ {3, 4} = ∅.}}
प्रतिच्छेदन के कुछ मौलिक गुण:
* {{nowrap|1=''A'' ∩ ''B'' = ''B'' ∩ ''A''.}}
* {{nowrap|1=''A'' ∩ (''B'' ∩ ''C'') = (''A'' ∩ ''B'') ∩ ''C''.}}
* {{nowrap|''A'' ∩ ''B'' ⊆ ''A''.}}
* {{nowrap|1=''A'' ∩ ''A'' = ''A''.}}
* {{nowrap|1=''A'' ∩ ∅ = ∅.}}
* {{nowrap|''A'' ⊆ ''B''}} यदि  {{nowrap|1=''A'' ∩ ''B'' = ''A''.}}
=== पूरक ===
[[File:Venn0100.svg|thumb|<div class = केंद्र> सापेक्ष पूरक < /div> में B का <br />]]
[[File:Venn1010.svg|thumb|<div class = केंद्र> u का पूरक u </div>]]
[[File:Venn0110.svg|thumb|<div class = केंद्र> a और b </div> का सममित अंतर]]
दो समुच्चयों को भी घटाया जा सकता है। इसके आधार पर B के सापेक्ष पूरक के लिए A और B के समुच्चय सिद्धांत अंतर भी कहा जाता है, जिसके द्वारा निरूपित किया गया हैं। {{nowrap|''A'' \ ''B''}} (या {{nowrap|''A'' − ''B''}}), उन सभी तत्वों का समुच्चय है, जो A के अवयव हैं, अपितु B के अवयव नहीं हैं। यह समुच्चय के अवयवों को घटाने के लिए मान्य है जो समुच्चय में नहीं हैं, जैसे कि समुच्चय से तत्व {{mset|1, 2, 3}} को हटाने से समुच्चय में तत्वों को प्रभावित नहीं किया जाएगा।

कुछ समुच्चयिंग्स में इस चर्चा के अनुसार सभी समुच्चयों को किसी दिए गए सार्वभौमिक समुच्चय यू के उपसमुच्चय माना जाता है, ऐसी स्थिति में, {{nowrap|''U'' \ ''A''}} निरपेक्ष पूरक या बस के पूरक कहा जाता है, और ′ या द्वारा निरूपित किया जाता है।
* {{nowrap|1=''A''′ = ''U'' \ ''A''}}
उदाहरण:
* {{nowrap|1={1, 2} \ {1, 2} = ∅.}}
* {{nowrap|1={1, 2, 3, 4} \ {1, 3} = {2, 4}.}}
* यदि यू पूर्णांक का समुच्चय है, तो E भी पूर्णांक का समुच्चय है, और ओ विषम पूर्णांक का समुच्चय है, तो इस प्रकार u \ e = e ′ = O के समान होगा।

पूरक के कुछ मौलिक गुणों में निम्नलिखित सम्मिलित हैं:
* {{nowrap|1=''A'' \ ''B'' ≠ ''B'' \ ''A''}} के लिये {{nowrap|1=''A'' ≠ ''B''}}।
* {{nowrap|1=''A'' ∪ ''A''′ = ''U''.}}
* {{nowrap|1=''A'' ∩ ''A''′ = ∅.}}
* {{nowrap|1=(''A''′)′ = ''A''.}}
* {{nowrap|1=∅ \ ''A'' = ∅.}}
* {{nowrap|1=''A'' \ ∅ = ''A''.}}
* {{nowrap|1=''A'' \ ''A'' = ∅.}}
* {{nowrap|1=''A'' \ ''U'' = ∅.}}
* {{nowrap|1=''A'' \ ''A''′ = ''A''}} तथा {{nowrap|1=''A''′ \ ''A'' = ''A''′.}}
* {{nowrap|1=''U''′ = ∅}} तथा {{nowrap|1=∅′ = ''U''.}}
* {{nowrap|1=''A'' \ ''B'' = ''A'' ∩ ''B''′}}।
* यदि {{nowrap|''A'' ⊆ ''B''}} फिर {{nowrap|1=''A'' \ ''B'' = ∅.}}
पूरक का विस्तार सममित अंतर है, समुच्चय के लिए परिभाषित किया गया है, जिसके लिए B के रूप में इसे इस प्रकार प्रदर्शित करते हैं-<math display="block">A\,\Delta\,B = (A \setminus B) \cup (B \setminus A).</math>उदाहरण के लिए, सममित अंतर {{mset|7, 8, 9, 10}} तथा {{mset|9, 10, 11, 12}} समुच्चय {{mset|7, 8, 11, 12}} है। इस प्रकार किसी भी समुच्चय का पावर समुच्चय रिंग के अतिरिक्त के रूप में सममित अंतर के साथ बूलियन रिंग बन जाता है, इसके लिए रिक्त समुच्चय के साथ तटस्थता के लिए उपयुक्त तत्व के रूप में और रिंग के गुणन के रूप में प्रतिच्छेदन करती हैं।

=== कार्टेशियन उत्पाद ===
एक नए समुच्चय का निर्माण समुच्चय के प्रत्येक तत्व को दूसरे समुच्चय के प्रत्येक तत्व के साथ जोड़कर किया जा सकता है। इस प्रकार A × B द्वारा निरूपित दो समुच्चय A और B के कार्टेशियन उत्पाद, सभी आदेशित जोड़े (A, B) का समुच्चय है, जैसे कि A A और B का अवयव है। यहाँ पर B का अवयव है।

उदाहरण:
* {{nowrap|1={1, 2} × {red, white, green} = {(1, red), (1, white), (1, green), (2, red), (2, white), (2, green)}.}}
* {{nowrap|1={1, 2} × {1, 2} = {(1, 1), (1, 2), (2, 1), (2, 2)}.}}
* {{nowrap|1={a, b, c} × {d, e, f} = {(a, d), (a, e), (a, f), (b, d), (b, e), (b, f), (c, d), (c, e), (c, f)}.}}
कार्टेशियन उत्पादों के कुछ मौलिक गुण:
* {{nowrap|1=''A'' × ∅ = ∅.}}
* {{nowrap|1=''A'' × (''B'' ∪ ''C'') = (''A'' × ''B'') ∪ (''A'' × ''C'').}}
* {{nowrap|1=(''A'' ∪ ''B'') × ''C'' = (''A'' × ''C'') ∪ (''B'' × ''C'').}}
A और B परिमित समुच्चय हो,तब कार्टेशियन उत्पाद की कार्डिनलिटी कार्डिनलिटीज का उत्पाद है:
* | A × B |= | B × A |= | A |× | B | |

== अनुप्रयोग ==
आधुनिक गणित में समुच्चय सर्वव्यापी हैं। उदाहरण के लिए अमूर्त बीजगणित में संरचनाएं जैसे कि समूह, फ़ील्ड और रिंग, या अधिक संचालन के अनुसार संवृत समुच्चय हैं।

समुच्चय सिद्धांत के मुख्य अनुप्रयोगों में से संबंध के निर्माण में है। एक डोमेन से संबंध {{math|''A''}} कोडोमैन के लिए {{math|''B''}} कार्टेशियन उत्पाद का उपसमुच्चय {{math|''A'' × ''B''}} है। उदाहरण के लिए, समुच्चय को देखते हुए {{math|''S'' {{=}} {{mset|rock, paper, scissors}}}} नाम के खेल में आकृतियाँ, संबंध से धड़कता है, जिसके लिए {{math|''S''}} प्रति {{math|''S''}} समुच्चय {{math|''B'' {{=}} {{mset|(scissors,paper), (paper,rock), (rock,scissors)}}}} है ,इस प्रकार {{math|''x''}}  {{math|''y''}} के लिए बीट करता हैं, इस खेल में यदि जोड़ी {{math|(''x'',''y'')}} का अवयव  {{math|''B''}} है। इस प्रकार इसके अन्य उदाहरण समुच्चय {{math|''F''}} है, जो सभी जोड़े की {{math|(''x'', ''x''{{sup|2}})}}, जहाँ पर {{math|''x''}} यह सचमुच का है। यह संबंध उपसमुच्चय {{math|'''R''' × '''R'''}} से है, क्योंकि सभी वर्गों का समुच्चय सभी वास्तविक संख्याओं के समुच्चय का उपसमुच्चय है। चूंकि हर किसी के लिए {{math|''x''}} में {{math|'''R'''}}, और केवल जोड़ी {{math|(''x'',...)}} में {{math|''F''}} का मान पाया जाता है, इसे फलन कहा जाता है। इसके कार्यात्मक संकेतन में, इस संबंध को {{math|''F''(''x'') {{=}} ''x''{{sup|2}}}} के रूप में लिखा जा सकता है।
== समावेश और बहिष्करण का सिद्धांत ==
[[Image:A union B.svg|thumb|समावेश-बहिष्करण सिद्धांत का उपयोग समुच्चय के संघ के आकार की गणना करने के लिए किया जाता है: संघ का आकार दो समुच्चयों का आकार है, उनके प्रतिच्छेदन के आकार को माइनस करता है।]]
समावेश -बहिष्करण सिद्धांत गिनती तकनीक है जिसका उपयोग दो समुच्चयों के संघ में तत्वों की संख्या को गिनने के लिए किया जा सकता है - यदि प्रत्येक समुच्चय का आकार और उनके प्रतिच्छेदन के आकार को जाना जाता है। इसे प्रतीकात्मक रूप से व्यक्त किया जा सकता है<math display="block"> |A \cup B| = |A| + |B| - |A \cap B|.</math>इस सिद्धांत के अधिक सामान्य रूप का उपयोग समुच्चय के किसी भी परिमित संघ की कार्डिनलिटी को खोजने के लिए किया जा सकता है:<math display="block">\begin{align}
\left|A_{1}\cup A_{2}\cup A_{3}\cup\ldots\cup A_{n}\right|=& \left(\left|A_{1}\right|+\left|A_{2}\right|+\left|A_{3}\right|+\ldots\left|A_{n}\right|\right) \\
&{} - \left(\left|A_{1}\cap A_{2}\right|+\left|A_{1}\cap A_{3}\right|+\ldots\left|A_{n-1}\cap A_{n}\right|\right) \\
&{} + \ldots \\
&{} + \left(-1\right)^{n-1}\left(\left|A_{1}\cap A_{2}\cap A_{3}\cap\ldots\cap A_{n}\right|\right).
\end{align}</math>

== डी मॉर्गन के नियम ==
ऑगस्टस डी मॉर्गन ने कहा कि डी मॉर्गन के नियम इस समुच्चय के बारे में दो विशेष नियमों को प्रदर्शित करता हैं।

यदि {{mvar|A}} तथा {{mvar|B}} फिर भी दो समुच्चय हैं,
*{{math|(''A'' ∪ ''B'')′ {{=}} ''A''′ ∩ ''B''′}}के पूरक {{mvar|A}} संघ {{mvar|B}} के पूरक के बराबर है, इस प्रकार {{mvar|A}} के पूरक के साथ {{mvar|B}} जुड़ा हुआ है।
*{{math|(''A'' ∩ ''B'')′ {{=}} ''A''′ ∪ ''B''′}}के पूरक {{mvar|A}} के साथ जुड़ा हुआ है, इस प्रकार {{mvar|B}} के पूरक के बराबर है, जो {{mvar|A}} के पूरक के लिए संघ {{mvar|B}} से जुड़ा हैं।

== यह भी देखें ==
{{Div col|colwidth=20em}}
* समुच्चय बीजगणित
* वैकल्पिक समुच्चय सिद्धांत
* समुच्चय की श्रेणी
* वर्ग (समुच्चय सिद्धांत)
* सघन समुच्चय
* समुच्चय समूह
* फजी समुच्चय
* आंतरिक समुच्चय
* मेरोलॉजी
* मल्टी समुच्चय
* प्रिंसिपिया मैथेमेटिका
* रफ समुच्चय
{{Div col end}}

==टिप्पणियाँ==
{{Reflist}}


==संदर्भ==
*{{cite book |author-link=Joseph Dauben |last=Dauben |first=Joseph W. |title=Georg Cantor: His Mathematics and Philosophy of the Infinite |location=Boston |publisher=[[Harvard University Press]] |year=1979 |isbn=0-691-02447-2 |url-access=registration |url=https://archive.org/details/georgcantorhisma0000daub }}
*{{cite book |author-link=Paul Halmos |last=Halmos |first=Paul R. |title=Naive Set Theory |url=https://archive.org/details/naivesettheory00halm |url-access=registration |location=Princeton, N.J. |publisher=Van Nostrand |year=1960 |isbn=0-387-90092-6 }}
*{{cite book |last=Stoll |first=Robert R. |title=Set Theory and Logic |location=Mineola, N.Y. |publisher=[[Dover Publications]] |year=1979 |isbn=0-486-63829-4 }}
*{{cite book |last=Velleman |first=Daniel |title=How To Prove It: A Structured Approach |publisher=[[Cambridge University Press]] |year=2006 |isbn=0-521-67599-5 }}
==बाहरी संबंध==
*{{Wiktionaryinline|set}}
*[https://gdz.sub.uni-goettingen.de/download/pdf/PPN235181684_0046/LOG_0044.pdf Cantor's "Beiträge zur Begründung der transfiniten Mengenlehre" (in German)]

{{Mathematical logic}}
{{Set theory}}

[[Category:CS1]]
[[Category:CS1 English-language sources (en)]]
[[Category:CS1 maint]]
[[Category:Collapse templates]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Multi-column templates]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages that use a deprecated format of the math tags]]
[[Category:Pages using div col with small parameter]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Philosophy and thinking navigational boxes]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Templates using under-protected Lua modules]]
[[Category:Wikipedia fully protected templates|Div col]]
[[Category:Wikipedia metatemplates]]
[[Category:गणितीय वस्तुएं]]
[[Category:तर्क में अवधारणाएं]]
[[Category:सेट सिद्धांत|*]]