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

एक सेट अलग के संग्रह के लिए गणितीय मॉडल है चीज़ें;  सेट में तत्व या सदस्य होते हैं, जो किसी भी प्रकार की गणितीय वस्तुएं हो सकती हैं: संख्या, प्रतीक, अंतरिक्ष, रेखाओं, अन्य ज्यामितीय आकार, चर, या यहां तक कि अन्य सेट भी। बिना किसी तत्व के सेट खाली सेट है;एक एकल तत्व के साथ सेट सिंगलटन है।एक सेट में तत्वों की सीमित संख्या हो सकती है या अनंत सेट हो सकता है।दो सेट समान हैं यदि उनके पास ठीक समान तत्व हैं। आधुनिक गणित में सेट सर्वव्यापी हैं।वास्तव में, सेट सिद्धांत, अधिक विशेष रूप से Zermelo -Fraenkel सेट सिद्धांत, 20 वीं शताब्दी की पहली छमाही के बाद से गणित की सभी शाखाओं के लिए कठोर नींव प्रदान करने का मानक तरीका रहा है।

इतिहास
एक सेट की अवधारणा 19 वीं शताब्दी के अंत में गणित में उभरी। सेट के लिए जर्मन शब्द, मेन्ज, को अनंत के अपने काम के विरोधाभासों में बर्नार्ड बोलजानो द्वारा गढ़ा गया था। REF नाम = RUSS2004> <रेफ नाम = rusnocksebestík2019> [[File:Passage with the set definition of Georg Cantor.png|thumb|जॉर्ज कैंटर की मूल सेट परिभाषा के अनुवाद के साथ मार्ग।सेट के लिए जर्मन वर्ड मेन्ज का अनुवाद यहां किया गया है।सेट थ्योरी के संस्थापकों में से एक, जॉर्ज कैंटर ने अपने बीटेज ज़ुर बेगुंडुंग डेर ट्रांसफिनिटेन मेंगेनलेहे की शुरुआत में निम्नलिखित परिभाषा दी: "A set is a gathering together into a whole of definite, distinct objects of our perception or our thought—which are called elements of the set."

बर्ट्रेंड रसेल ने सेट वर्ग कहा:

"When mathematicians deal with what they call a manifold, aggregate, Menge, ensemble, or some equivalent name, it is common, especially where the number of terms involved is finite, to regard the object in question (which is in fact a class) as defined by the enumeration of its terms, and as consisting possibly of a single term, which in that case is the class."

भोला सेट सिद्धांत
एक सेट की सबसे महत्वपूर्ण संपत्ति यह है कि इसमें तत्व हो सकते हैं, जिसे सदस्य भी कहा जाता है।दो सेट समान होते हैं जब उनके समान तत्व होते हैं।अधिक सटीक रूप से, सेट ए और बी समान हैं यदि ए का प्रत्येक तत्व बी का तत्व है, और बी का प्रत्येक तत्व ए का तत्व है;इस संपत्ति को सेट की एक्सटेंशनलिटी कहा जाता है। सेट की सरल अवधारणा गणित में बहुत उपयोगी साबित हुई है, लेकिन: श्रेणी: भोले सेट सिद्धांत के विरोधाभास। विरोधाभास उठते हैं यदि कोई प्रतिबंध नहीं रखा जाता है तो सेट कैसे बनाया जा सकता है:
 * रसेल के विरोधाभास से पता चलता है कि सभी सेटों का सेट जो स्वयं नहीं है, अर्थात्, यानी, $\{x | x is a set and x ∉ x\}$, मौजूद नहीं हो सकता।
 * कैंटर के विरोधाभास से पता चलता है कि सभी सेटों का सेट मौजूद नहीं हो सकता है।

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

स्वयंसिद्ध सेट सिद्धांत
भोले सेट सिद्धांत के मूल सूत्रीकरण के समय से इन विरोधाभासों को हल करने के बाद के प्रयासों में, सेट के गुणों को स्वयंसिद्ध द्वारा परिभाषित किया गया है।Axiomatic सेट सिद्धांत आदिम धारणा के रूप में सेट की अवधारणा को लेता है। स्वयंसिद्धों का उद्देश्य बुनियादी ढांचा प्रदान करना है जिसमें से पहले-क्रम के तर्क का उपयोग करके सेट के बारे में विशेष गणितीय प्रस्तावों (कथनों) की सच्चाई या मिथ्या को कम करना है।हालांकि, गोडेल के अपूर्णता प्रमेयों के अनुसार, किसी भी विशेष स्वयंसिद्ध सेट सिद्धांत को यह साबित करने के लिए पहले-क्रम के तर्क का उपयोग करना संभव नहीं है कि वह विरोधाभास से मुक्त हो।

कैसे सेट परिभाषित किए जाते हैं और नोटेशन सेट करते हैं
गणितीय ग्रंथ आमतौर पर बड़े अक्षरों द्वारा सेट को निरूपित करते हैं इटैलिक में, जैसे $A$, $B$, $C$. सेट को संग्रह या परिवार भी कहा जा सकता है, खासकर जब इसके तत्व स्वयं सेट होते हैं।

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

एक सेट में, यह सब मायने रखता है कि क्या प्रत्येक तत्व इसमें है या नहीं, इसलिए रोस्टर नोटेशन में तत्वों का आदेश अप्रासंगिक है (इसके विपरीत, अनुक्रम में, टपल, या सेट का क्रमपरिवर्तन, ऑर्डरिंग का आदेशशर्तें मायने रखती हैं)।उदाहरण के लिए, $A = \{4, 2, 1, 3\}$ तथा $B = \{blue, white, red\}$ ही सेट का प्रतिनिधित्व करते हैं। कई तत्वों के साथ सेट के लिए, विशेष रूप से निहित पैटर्न का पालन करने वाले, सदस्यों की सूची को दीर्घवृत्त का उपयोग करके संक्षिप्त किया जा सकता है '$\{2, 4, 6\}$'। उदाहरण के लिए, पहले हजार सकारात्मक पूर्णांक के सेट को रोस्टर नोटेशन में निर्दिष्ट किया जा सकता है

रोस्टर अंकन में अनंत सेट
एक अनंत सेट तत्वों की अंतहीन सूची के साथ सेट है।रोस्टर नोटेशन में अनंत सेट का वर्णन करने के लिए, एलिप्सिस को सूची के अंत में, या दोनों छोरों पर रखा जाता है, यह इंगित करने के लिए कि सूची हमेशा के लिए जारी रहती है।उदाहरण के लिए, गैर -पूर्णांक का सेट है

और सभी पूर्णांक का सेट है

सिमेंटिक परिभाषा
एक सेट को परिभाषित करने का और तरीका यह है कि तत्व क्या हैं यह निर्धारित करने के लिए नियम का उपयोग करें:

इस तरह की परिभाषा को शब्दार्थ विवरण कहा जाता है।

सेट-बिल्डर नोटेशन
सेट-बिल्डर नोटेशन तत्वों पर स्थिति द्वारा निर्धारित बड़े सेट से चयन के रूप में सेट को निर्दिष्ट करता है। उदाहरण के लिए, सेट $A$ निम्नानुसार परिभाषित किया जा सकता है:

$$F = \{n \mid n \text{ is an integer, and } 0 \leq n \leq 19\}.$$ इस संकेतन में, ऊर्ध्वाधर बार |ऐसा मतलब है कि, और विवरण की व्याख्या की जा सकती है$B$ सभी नंबरों का सेट है $F$ ऐसा है कि $F$ 0 से 19 समावेशी की सीमा में पूर्णांक है।कुछ लेखक बृहदान्त्र का उपयोग करते हैं: ऊर्ध्वाधर बार के बजाय।

परिभाषा के तरीकों को वर्गीकृत करना
दर्शन परिभाषाओं के प्रकारों को वर्गीकृत करने के लिए विशिष्ट शब्दों का उपयोग करता है:
 * एक अंतरंग परिभाषा सदस्यता निर्धारित करने के लिए नियम का उपयोग करती है।सेट-बिल्डर नोटेशन का उपयोग करके सिमेंटिक परिभाषाएँ और परिभाषाएँ उदाहरण हैं।
 * एक व्यापक परिभाषा उसके सभी तत्वों को सूचीबद्ध करके सेट का वर्णन करती है। इस तरह की परिभाषाओं को एनुमेरेटिव भी कहा जाता है।
 * एक अस्थिर परिभाषा वह है जो तत्वों के उदाहरण देकर सेट का वर्णन करती है;एक रोस्टर जिसमें एलिप्सिस शामिल है, उदाहरण होगा।

सदस्यता
यदि $n$ सेट है और $n$ का तत्व है $B$, यह शॉर्टहैंड में लिखा गया है $\{4, 6, 4, 2\}$, जिसे X के रूप में भी पढ़ा जा सकता है, B से संबंधित है, या X B में है। कथन y b का तत्व नहीं है, के रूप में लिखा गया है $...$, जिसे y के रूप में भी पढ़ा जा सकता है, b में नहीं है। उदाहरण के लिए, सेट के संबंध में $\{1, 2, 3, ..., 1000\}$, $\{0, 1, 2, 3, 4, ...\}$, तथा $\{..., −3, −2, −1, 0, 1, 2, 3, ...\}$,

खाली सेट
खाली सेट (या अशक्त सेट) अद्वितीय सेट है जिसमें कोई सदस्य नहीं है।इसे निरूपित किया गया है $x ∈ B$ या $$\emptyset$$ या $x$ या $y ∉ B$ (या $B$)।

सिंगलटन सेट
एक सिंगलटन सेट बिल्कुल तत्व के साथ सेट है;इस तरह के सेट को यूनिट सेट भी कहा जा सकता है। ऐसे किसी भी सेट को लिखा जा सकता है $\{ \}$, जहां x तत्व है। सेट $ϕ$ और तत्व x का मतलब अलग -अलग चीजें हैं;हल्मोस सादृश्य को खींचता है कि टोपी युक्त बॉक्स टोपी के समान नहीं है।

सबसेट
यदि सेट A का प्रत्येक तत्व B में भी है, तो A को B के सबसेट के रूप में वर्णित किया गया है, या B में निहित है, A ⊆ B लिखा है, या बी ⊇ ए। बाद के संकेतन को पढ़ा जा सकता है B में A, B शामिल है, या B शामिल है। A. का सुपरसेट है। ⊆ द्वारा स्थापित सेटों के बीच संबंध को समावेश या नियंत्रण कहा जाता है।दो सेट समान हैं यदि वे दूसरे को शामिल करते हैं: A ⊆ B और B ⊆ A A = B के बराबर है।

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

ऑपरेटरों की तीसरी जोड़ी ⊂ और ⊃ का उपयोग अलग -अलग लेखकों द्वारा अलग -अलग तरीके से किया जाता है: कुछ लेखक ⊂ B और B ⊃ A का अर्थ है A का मतलब B का कोई सबसेट है (और जरूरी नहीं कि उचित सबसेट) हो, जबकि अन्य उन मामलों के लिए ⊂ B और B ⊃ A को आरक्षित करते हैं जहां A B का उचित सबसेट है।

उदाहरण:
 * सभी मनुष्यों का सेट सभी स्तनधारियों के सेट का उचित सबसेट है।

खाली सेट हर सेट का सबसेट है, और हर सेट अपने आप में सबसेट है:
 * ∅ ⊆ A. A.
 * ए ⊆ ए।

यूलर और वेन आरेख
एक यूलर आरेख सेट के संग्रह का चित्रमय प्रतिनिधित्व है;प्रत्येक सेट को लूप द्वारा संलग्न प्लानर क्षेत्र के रूप में दर्शाया गया है, जिसके अंदर उसके तत्व हैं।यदि $\{x\}$ का सबसेट है $\{x\}$, फिर क्षेत्र का प्रतिनिधित्व करना $\{1, 3\}$ पूरी तरह से प्रतिनिधित्व करने वाले क्षेत्र के अंदर है $\{1, 2, 3, 4\}$।यदि दो सेटों में कोई तत्व सामान्य नहीं है, तो क्षेत्र ओवरलैप नहीं करते हैं।

एक वेन आरेख, इसके विपरीत, चित्रमय प्रतिनिधित्व है $\{1, 2, 3, 4\}$ सेट करता है जिसमें $\{1, 2, 3, 4\}$ लूप विमान को विभाजित करें $A = \{1, 2, 3, 4\}$ ऐसे जोन ऐसे हैं कि कुछ का चयन करने के प्रत्येक तरीके के लिए $A$ सेट (संभवतः सभी या कोई भी), उन तत्वों के लिए क्षेत्र है जो सभी चयनित सेटों से संबंधित हैं और दूसरों में से कोई भी नहीं।उदाहरण के लिए, यदि सेट हैं $B$, $A$, तथा $B$, उन तत्वों के लिए क्षेत्र होना चाहिए जो अंदर हैं $n$ तथा $n$ और बाहर $n$ (भले ही ऐसे तत्व मौजूद न हों)।

गणित में संख्याओं के विशेष सेट
इस तरह के गणितीय महत्व के सेट हैं, जिनके लिए गणितज्ञ इतने बार संदर्भित करते हैं, कि उन्होंने उनकी पहचान करने के लिए विशेष नाम और उल्लेखनीय सम्मेलनों का अधिग्रहण किया है।

इनमें से कई महत्वपूर्ण सेटों को गणितीय ग्रंथों में बोल्ड का उपयोग करके दर्शाया गया है (उदा। $$\bold Z$$) या ब्लैकबोर्ड बोल्ड (उदा। $$\mathbb Z$$) टाइपफेस। इसमे शामिल है
 * $$\bold N$$ या $$\mathbb N$$, सभी प्राकृतिक संख्याओं का सेट: $$\bold N=\{0,1,2,3,...\}$$ (अक्सर, लेखक बाहर करते हैं $B = \{blue, white, red\}$); * $$\bold Z$$ या $$\mathbb Z$$, सभी पूर्णांक का सेट (चाहे सकारात्मक, नकारात्मक या शून्य): $$\bold Z=\{...,-2,-1,0,1,2,3,...\}$$; * $$\bold Q$$ या $$\mathbb Q$$, सभी तर्कसंगत संख्याओं का सेट (यानी, सभी उचित और अनुचित अंशों का सेट): $$\bold Q=\left\{\frac {a}{b}\mid a,b\in\bold Z,b\ne0\right\}$$।उदाहरण के लिए, $n is an integer, and 0 ≤ n ≤ 19\}$ तथा $4 ∈ A$; * $$\bold R$$ या $$\mathbb R$$, सभी वास्तविक संख्याओं का सेट, जिसमें सभी तर्कसंगत संख्या और सभी तर्कहीन संख्याएं शामिल हैं (जिसमें बीजीय संख्या शामिल हैं जैसे $$\sqrt2$$ इसे अंशों के रूप में फिर से नहीं लिखा जा सकता है, साथ ही ट्रान्सेंडैंटल नंबरों जैसे$A$तथा$12 ∈ F$); * $$\bold C$$ या $$\mathbb C$$, सभी जटिल संख्याओं का सेट: $20 ∉ F$, उदाहरण के लिए, $green ∉ B$.

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

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

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

कार्डिनलिटी
एक सेट की कार्डिनलिटी $∅$, निरूपित $ϕ$, के सदस्यों की संख्या है $2n$. उदाहरण के लिए, यदि $0$, फिर $&minus;7⁄4 ∈ Q$।रोस्टर संकेतन में बार -बार सदस्यों की गिनती नहीं की जाती है, इसलिए $5 = 5⁄1 ∈ Q$, भी।

अधिक औपचारिक रूप से, दो सेट ही कार्डिनलिटी साझा करते हैं यदि उनके बीच एक-से-एक पत्राचार मौजूद है।

खाली सेट की कार्डिनलिटी शून्य है।

अनंत सेट और अनंत कार्डिनलिटी
कुछ सेटों के तत्वों की सूची अंतहीन, या अनंत है।उदाहरण के लिए, सेट $$\N$$ प्राकृतिक संख्याओं का अनंत है। वास्तव में, उपरोक्त अनुभाग में उल्लिखित संख्याओं के सभी विशेष सेट अनंत हैं।अनंत सेट में अनंत कार्डिनलिटी होती है।

कुछ अनंत कार्डिनल दूसरों की तुलना में अधिक हैं।संभवतः सेट सिद्धांत से सबसे महत्वपूर्ण परिणामों में से यह है कि वास्तविक संख्याओं के सेट में प्राकृतिक संख्याओं के सेट की तुलना में अधिक कार्डिनैलिटी होती है। कार्डिनलिटी के साथ सेट से कम या उसके बराबर $$\N$$ गणना योग्य सेट कहा जाता है;ये या तो परिमित सेट या अनगिनत अनंत सेट हैं (उसी कार्डिनलिटी के सेट $$\N$$);कुछ लेखक गिनती के लिए गिनती करने योग्य का उपयोग करते हैं।कार्डिनलिटी के साथ सख्ती से अधिक से अधिक सेट करता है $$\N$$ बेशुमार सेट कहा जाता है।

हालांकि, यह दिखाया जा सकता है कि सीधी रेखा की कार्डिनलिटी (यानी, लाइन पर बिंदुओं की संख्या) उस लाइन के किसी भी खंड की कार्डिनलिटी के समान है, पूरे विमान की, और वास्तव में किसी भी परिमित-आयामी यूक्लिडियन कीअंतरिक्ष।

कॉन्टिनम परिकल्पना
1878 में जॉर्ज कैंटर द्वारा तैयार की गई निरंतरता परिकल्पना, यह कथन है कि कार्डिनलिटी के साथ सख्ती से कोई सेट नहीं है, जो प्राकृतिक संख्याओं की कार्डिनलिटी और सीधी रेखा के कार्डिनलिटी के बीच सख्ती से सेट है। 1963 में, पॉल कोहेन ने साबित किया कि कॉन्टिनम परिकल्पना Axiom सिस्टम ZFC से स्वतंत्र है, जिसमें ज़रमेलो -फ्रेनकेल सेट सिद्धांत से मिलकर पसंद है। (ZFC स्वयंसिद्ध सेट सिद्धांत का सबसे व्यापक रूप से अध्ययन किया गया संस्करण है।)

पावर सेट
एक सेट का पावर सेट $e$ के सभी सबसेट का सेट है $a, b ∈ R\}$. खाली सेट और $1 + 2i ∈ C$ स्वयं के पावर सेट के तत्व हैं $S$, क्योंकि ये दोनों सबसेट हैं $|S|$।उदाहरण के लिए, का पावर सेट $S$ है $B = \{blue, white, red\}$।एक सेट का पावर सेट $|B| = 3$ आमतौर पर लिखा जाता है $|\{blue, white, red, blue, white\}| = 3$ या $S$।

यदि $S$ है $S$ तत्व, फिर $S$ है $S$ तत्व। उदाहरण के लिए, $\{1, 2, 3\}$ में तीन तत्व हैं, और इसका पावर सेट है $\{∅, \{1\}, \{2\}, \{3\}, \{1, 2\}, \{1, 3\}, \{2, 3\}, \{1, 2, 3\}\}$ तत्व, जैसा कि ऊपर दिखाया गया है।

यदि $S$ अनंत है (चाहे गिनती योग्य हो या बेशुमार), फिर $P(S)$ बेशुमार है।इसके अलावा, पावर सेट हमेशा मूल सेट की तुलना में कड़ाई से बड़ा होता है, इस अर्थ में कि तत्वों को जोड़ने का कोई भी प्रयास $2S$ के तत्वों के साथ $S$ के कुछ तत्व छोड़ देंगे $n$ अप्रकाशित।(कभी भी बायजेक्शन नहीं है $P(S)$ पर $2n$।)

विभाजन
एक सेट एस का विभाजन एस के गैर -रिक्त सबसेट का सेट है, जैसे कि एस में प्रत्येक तत्व एक्स इन सबसेटों में से में है।अर्थात्, सबसेट पेयरवाइज डिसजॉइंट हैं (जिसका अर्थ है कि विभाजन के किसी भी दो सेट में कोई तत्व नहीं होता है), और विभाजन के सभी सबसेटों का संघ एस है।

मूल संचालन
दिए गए सेटों से नए सेट बनाने के लिए कई मौलिक संचालन हैं।

यूनियनों
दो सेट में शामिल हो सकते हैं: संघ $\{1, 2, 3\}$ तथा $23 = 8$, द्वारा चिह्नित $S$, उन सभी चीजों का सेट है जो ए या बी या दोनों के सदस्य हैं।

उदाहरण: यूनियनों के कुछ बुनियादी गुण:
 * $P(S)$ अगर और केवल अगर $S$
 * $P(S)$ अगर और केवल अगर $P(S)$
 * $S$ अगर और केवल अगर $P(S)$
 * $A$ अगर और केवल अगर $B$
 * $A ∪ B$ अगर और केवल अगर $A$
 * $B$ अगर और केवल अगर $A ∪ B$

चौराहों
एक नए सेट का निर्माण यह निर्धारित करके भी किया जा सकता है कि कौन से सदस्यों के दो सेट समान हैं।ए और बी के चौराहे, द्वारा निरूपित किया गया A ∩ B, सभी चीजों का सेट है जो ए और बी दोनों के सदस्य हैं A ∩ B = ∅, तब ए और बी को असंतुष्ट कहा जाता है। उदाहरण: चौराहों के कुछ बुनियादी गुण:
 * {1, 2} ∩ {1, 2} = {1, 2}.
 * {1, 2} ∩ {2, 3} = {2}.
 * {1, 2} ∩ {3, 4} = ∅.
 * A ∩ B = B ∩ A.
 * A ∩ (B ∩ C) = (A ∩ B) ∩ C.
 * A ∩ B ⊆ A.
 * A ∩ A = A.
 * A ∩ ∅ = ∅.
 * A ⊆ B अगर और केवल अगर A ∩ B = A.

पूरक
दो सेटों को भी घटाया जा सकता है।बी के सापेक्ष पूरक (जिसे ए और बी के सेट-थ्योरिटिक अंतर भी कहा जाता है), द्वारा निरूपित किया गया A \ B (या A − B), उन सभी तत्वों का सेट है जो ए के सदस्य हैं, लेकिन बी के सदस्य नहीं हैं। यह सेट के सदस्यों को घटाने के लिए मान्य है जो सेट में नहीं हैं, जैसे कि सेट से तत्व हरे को हटाना $B$;ऐसा करने से सेट में तत्वों को प्रभावित नहीं किया जाएगा।

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

पूरक के कुछ बुनियादी गुणों में निम्नलिखित शामिल हैं: पूरक का विस्तार सममित अंतर है, सेट के लिए परिभाषित किया गया है, बी के रूप में $$A\,\Delta\,B = (A \setminus B) \cup (B \setminus A).$$ उदाहरण के लिए, सममित अंतर $A$ तथा $A$ सेट है $B$।किसी भी सेट का पावर सेट रिंग के अतिरिक्त के रूप में सममित अंतर के साथ बूलियन रिंग बन जाता है (खाली सेट के साथ तटस्थ तत्व के रूप में) और रिंग के गुणन के रूप में चौराहा।
 * A \ B ≠ B \ A के लिये A ≠ B।
 * A ∪ A′ = U.
 * A ∩ A′ = ∅.
 * (A′)′ = A.
 * ∅ \ A = ∅.
 * A \ ∅ = A.
 * A \ A = ∅.
 * A \ U = ∅.
 * A \ A′ = A तथा A′ \ A = A′.
 * U′ = ∅ तथा ∅′ = U.
 * A \ B = A ∩ B′।
 * यदि A ⊆ B फिर A \ B = ∅.

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

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

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

भोले सेट सिद्धांत के मुख्य अनुप्रयोगों में से संबंध के निर्माण में है।एक डोमेन से संबंध ${1, 2} ∪ {1, 2} = {1, 2}.$ कोडोमैन के लिए ${1, 2} ∪ {2, 3} = {1, 2, 3}.$ कार्टेशियन उत्पाद का सबसेट है ${1, 2, 3} ∪ {3, 4, 5} = {1, 2, 3, 4, 5}.$।उदाहरण के लिए, सेट को देखते हुए $A ∪ B = B ∪ A.$ ही नाम के खेल में आकृतियाँ, संबंध से धड़कता है $A ∪ (B ∪ C) = (A ∪ B) ∪ C.$ प्रति $A ⊆ (A ∪ B).$ सेट है $A ∪ A = A.$;इस प्रकार $A ∪ ∅ = A.$ धड़कता है $A ⊆ B$ खेल में अगर जोड़ी $A ∪ B = B.$ का सदस्य है $A$।एक अन्य उदाहरण सेट है $B$ सभी जोड़े की $A × B$, कहाँ पे $S = \{rock, paper, scissors\}$ यह सचमुच का है।यह संबंध सबसेट है $S$, क्योंकि सभी वर्गों का सेट सभी वास्तविक संख्याओं के सेट का सबसेट है।चूंकि हर के लिए $S$ में $B = \{(scissors,paper), (paper,rock), (rock,scissors)\}$, और केवल जोड़ी $x$ में पाया जाता है $y$, इसे फ़ंक्शन कहा जाता है।कार्यात्मक संकेतन में, इस संबंध को के रूप में लिखा जा सकता है $(x,y)$।

समावेश और बहिष्करण का सिद्धांत
समावेश -बहिष्करण सिद्धांत गिनती तकनीक है जिसका उपयोग दो सेटों के संघ में तत्वों की संख्या को गिनने के लिए किया जा सकता है - यदि प्रत्येक सेट का आकार और उनके चौराहे के आकार को जाना जाता है।इसे प्रतीकात्मक रूप से व्यक्त किया जा सकता है $$ |A \cup B| = |A| + |B| - |A \cap B|.$$ सिद्धांत के अधिक सामान्य रूप का उपयोग सेट के किसी भी परिमित संघ की कार्डिनलिटी को खोजने के लिए किया जा सकता है: $$\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}$$

डी मॉर्गन के नियम
ऑगस्टस डी मॉर्गन ने कहा कि डी मॉर्गन के कानून | सेट के बारे में दो कानून।

यदि $B$ तथा $A$ फिर भी दो सेट हैं,
 * $B$के पूरक $\{1, 2, 3\}$ संघ $\{7, 8, 9, 10\}$ के पूरक के बराबर है $\{9, 10, 11, 12\}$ के पूरक के साथ जुड़ा हुआ है $\{7, 8, 11, 12\}$।
 * $F$के पूरक $A$ के साथ जुड़ा हुआ है $B$ के पूरक के बराबर है $A$ के पूरक के लिए संघ $B$।

यह भी देखें

 * सेट का बीजगणित
 * वैकल्पिक सेट सिद्धांत
 * सेट की श्रेणी
 * वर्ग (सेट सिद्धांत)
 * घने सेट
 * सेट का परिवार
 * फजी सेट
 * आंतरिक सेट
 * मेरोलॉजी
 * मल्टीसेट
 * प्रिंसिपिया मैथेमेटिका
 * रफ सेट

बाहरी संबंध

 * Cantor's "Beiträge zur Begründung der transfiniten Mengenlehre" (in German)
 * Cantor's "Beiträge zur Begründung der transfiniten Mengenlehre" (in German)