प्रतिच्छेदन (समुच्चय सिद्धांत): Difference between revisions
(Created page with "{{Short description|Set of elements common to all of some sets}} {{broader|Intersection (mathematics)}} {{Infobox mathematical statement | name = Intersection | image = Venn00...") |
No edit summary |
||
(39 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Set of elements common to all of some sets}} | {{Short description|Set of elements common to all of some sets}} | ||
समुच्चय सिद्धांत में, दो समुच्चय का '''प्रतिच्छेदन''' <math>A</math> तथा <math>B,</math> द्वारा चिह्नित है<ref>{{Cite web|title=सेट्स का चौराहा|url=http://web.mnstate.edu/peil/MDEV102/U1/S3/Intersection4.htm|access-date=2020-09-04|website=web.mnstate.edu}}</ref> <math>A \cap B,</math> के सभी तत्वों से युक्त समुच्चय है I <math>A</math>, <math>B</math> से संबंधित है या समकक्ष है, <math>B</math> के सभी तत्व <math>A</math> के भी हैI<ref>{{cite web|url=http://people.richland.edu/james/lecture/m170/ch05-rul.html|title=आँकड़े: संभाव्यता नियम|publisher=People.richland.edu|access-date=2012-05-08}}</ref> | |||
== संकेतन एवं शब्दावली == | |||
समुच्चय सिद्धांत में, दो समुच्चय का प्रतिच्छेदन | |||
प्रतिच्छेदन प्रतीक <math>\cap</math> का उपयोग करके लिखा गया है, अर्थात् इंफिक्स नोटेशन के, उदाहरण निम्नलिखित है:<math display=block>\{1,2,3\}\cap\{2,3,4\}=\{2,3\}</math><math display=block>\{1,2,3\}\cap\{4,5,6\}=\varnothing</math><math display=block>\Z\cap\N=\N</math><math display=block>\{x\in\R:x^2=1\}\cap\N=\{1\}</math>दो से अधिक समुच्चयो के सामान्यीकृत प्रतिच्छेदन को इस प्रकार लिखा जा सकता है:<math display=block>\bigcap_{i=1}^n A_i</math>जो कैपिटल-सिग्मा नोटेशन के समान होते है। | |||
इस लेख में प्रयुक्त प्रतीकों की व्याख्या के लिए, गणितीय प्रतीकों की सारणी देखें। | |||
इस लेख में प्रयुक्त प्रतीकों की व्याख्या के लिए, गणितीय प्रतीकों की | |||
== परिभाषा == | == परिभाषा == | ||
[[File:Venn 0000 0001.svg|thumb|तीन | [[File:Venn 0000 0001.svg|thumb|तीन समुच्चय का परस्पर:<br><math>~A \cap B \cap C</math>]] | ||
[[File:Venn diagram gr la ru.svg|thumb|केवल अक्षरों के आकार पर विचार करते हुए | [[File:Venn diagram gr la ru.svg|thumb|केवल अक्षरों के आकार पर विचार करते हुए एवं उनके उच्चारण की उपेक्षा करते हुए, बिना उच्चारण वाले आधुनिक ग्रीक वर्णमाला, लैटिन लिपि एवं सिरिलिक लिपियों का परस्पर ]] | ||
[[File:PolygonsSetIntersection.svg|thumb| | [[File:PolygonsSetIntersection.svg|thumb|समुच्चय के साथ परस्पर का उदाहरण]]दो समुच्चयो का परस्पर <math>A</math> तथा <math>B,</math> द्वारा चिह्नित <math>A \cap B</math>,<ref name=":1">{{Cite web|title=सेट ऑपरेशंस {{!}} यूनियन {{!}} चौराहे {{!}} पूरक {{!}} अंतर {{!}} पारस्परिक रूप से अनन्य {{!}} विभाजन {{!}} डी मॉर्गन का नियम {{! }} वितरण नियम {{!}} कार्तीय उत्पाद|url=https://www.probabilitycourse.com/chapter1/1_2_2_set_operations.php|access-date=2020-09-04|website=www.probabilitycourse.com}}</ref> उन सभी वस्तुओं का समुच्चय है जो दोनों समुच्चयों <math>A</math> तथा <math>B.</math> के सदस्य होते हैं I | ||
प्रतीकों में | यह प्रतीकों में इस प्रकार प्रदर्शित हैं I<math display=block>A \cap B = \{ x: x \in A \text{ and } x \in B\}.</math><math>x</math> का परस्पर तत्व <math>A \cap B</math> है, एवं <math>x</math> का समान तत्व <math>A</math> एवं <math>B.</math><ref name=":1" /> हैI | ||
<math display=block>A \cap B = \{ x: x \in A \text{ and } x \in B\}.</math> | |||
उदाहरण के लिए: | उदाहरण के लिए: | ||
* समुच्चय {1, 2, 3} | * समुच्चय {1, 2, 3} एवं {2, 3, 4} का प्रतिच्छेदन {2, 3} है। | ||
* अंक 9 | * अंक 9 अभाज्य संख्याओं के समुच्चय {2, 3, 5, 7, 11, ...} एवं विषम संख्याओं के समुच्चय {1, 3, 5, 7, 9, 11, ...} के प्रतिच्छेदन में, 9 प्रधान नहीं है। | ||
=== इंटरसेक्टिंग | === इंटरसेक्टिंग एवं डिसजॉइंट समुच्चय === | ||
कहा जाता है कि, {{em|यदि {{visible anchor|<math>B</math> उपस्थित हो तो, <math>A</math>|Intersects|To intersect|Meets|To meet}} प्रतिच्छेद करता है}} I <math>x</math> का तत्व <math>A</math> तथा <math>B,</math> है I जिस स्थिति में {{em|<math>A</math> प्रतिच्छेद करता है, <math>B</math> '''at''' <math>x</math> प्राप्त होता है }}, समान रूप से, <math>A</math>, <math>B</math> को प्रतिच्छेद करता हैI यदि उनका परस्पर <math>A \cap B</math> {{em|[[वसित समुच्चय]]}} है, जिसे <math>x</math> द्वारा <math>x \in A \cap B.</math> प्रदर्शित करते हैं I यदि <math>A</math>, <math>B.</math> को प्रतिच्छेद नहीं करता है, तो इसे सरल भाषा में सामान्य तत्व नहीं मानते हैं। यदि <math>A</math> तथा <math>B</math> असंयुक्त हैं और परस्पर रिक्त समुच्चय है, तो इस प्रकार <math>A \cap B = \varnothing.</math> द्वारा प्रदर्शित करते है, उदाहरण के लिए, समुच्चयो <math>\{1, 2\}</math> तथा <math>\{3, 4\}</math> असम्बद्ध हैं, जबकि सम संख्याओं का समुच्चय 3 के गुणज के समुच्चय को 6 के गुणज में विभक्त करता है। | |||
उदाहरण के लिए, | |||
== बीजगणितीय गुण == | == बीजगणितीय गुण == | ||
{{See also| | {{See also|समुच्चय पहचान एवं संबंधों की सूची|समुच्चयों का बीजगणित}} | ||
<math display=block>A \cap (B \cap C) = (A \cap B) \cap C.</math>इस प्रकार अस्पष्टता के बिना कोष्ठकों को | बाइनरी परस्पर साहचर्य ऑपरेशन है; अर्थात किसी भी समुच्चय के लिए <math>A, B,</math> तथा <math>C,</math> निम्नलिखित है:<math display="block">A \cap (B \cap C) = (A \cap B) \cap C.</math>इस प्रकार अस्पष्टता के बिना कोष्ठकों को त्यागा जा सकता है: उपरोक्त में से किसी को भी लिखा जा सकता है <math>A \cap B \cap C</math>. परस्पर भी कम्यूटेटिव संपत्ति है। अर्थात किसी के लिए <math>A</math> तथा <math>B,</math> निम्नलिखित है:<math display="block">A \cap B = B \cap A.</math>अतिरिक्त समुच्चय के साथ किसी भी समुच्चय का प्रतिच्छेदन अतिरिक्त समुच्चय में परिणाम देता है; अर्थात किसी भी समुच्चय के लिए <math>A</math>, इस प्रकार है:<math display="block">A \cap \varnothing = \varnothing</math>इसके अतिरिक्त, परस्पर ऑपरेशन निःशक्तता है; अर्थात समुच्चय <math>A</math> संतुष्ट <math>A \cap A = A</math> करता है I ये सभी गुण तार्किक संयोजन के विषय में समान तथ्यों का अनुसरण करते हैं। | ||
<math display=block>A \cap \varnothing = \varnothing</math> | |||
इसके | |||
<math display=block>\begin{align} | परस्पर संघ पर वितरित करता है एवं संघ प्रतिच्छेदन पर वितरित करता है। अर्थात किसी भी समुच्चय के लिए <math>A, B,</math> तथा <math>C,</math> निम्नलिखित है<math display="block">\begin{align} | ||
A \cap (B \cup C) = (A \cap B) \cup (A \cap C) \\ | A \cap (B \cup C) = (A \cap B) \cup (A \cap C) \\ | ||
A \cup (B \cap C) = (A \cup B) \cap (A \cup C) | A \cup (B \cap C) = (A \cup B) \cap (A \cup C) | ||
\end{align}</math> | \end{align}</math>विश्व के अंदर <math>U,</math> पूरक (समुच्चय सिद्धांत) को परिभाषित कर सकता है I <math>A^c</math> को <math>A</math> के सभी तत्वों का समुच्चय होना है, किन्तु <math>U</math> अंदर नही होना चाहिए I <math>A.</math> का परस्पर <math>A</math> तथा <math>B</math> को उनके पूरक के संघ के रूप में लिखा जा सकता है, जो डी मॉर्गन के नियम द्वारा सरलता से प्राप्त होता है:<math display="block">A \cap B = \left(A^{c} \cup B^{c}\right)^c</math> | ||
== इच्छानुसार प्रतिच्छेदन == | |||
{{Further information|पुनरावृत्त बाइनरी ऑपरेशन}} | |||
सामान्य धारणा समुच्चयो के स्वेच्छानुसार अतिरिक्त संग्रह का प्रतिच्छेदन है। यदि <math>M</math> अतिरिक्त समुच्चय है जिसके तत्व स्वयं समुच्चय होते हैं I <math>x</math> परस्पर का तत्व <math>M</math> है I यदि केवल सार्वभौमिक परिमाणीकरण तत्व <math>A</math> का <math>M,</math> <math>x</math> का तत्व है, <math>A.</math> प्रतीकों में इस प्रकार है:<math display=block>\left( x \in \bigcap_{A \in M} A \right) \Leftrightarrow \left( \forall A \in M, \ x \in A \right).</math>इस अंतिम अवधारणा के लिए नोटेशन अधिक भिन्न हो सकते हैं। समुच्चय सिद्धांत कभी <math>\cap M</math> लिखते है, इसके अतिरिक्त <math>\cap_{A \in M} A</math> भी लिखते है, इसके पश्चात नोटेशन को सामान्यीकृत किया जा सकता है I <math>\cap_{i \in I} A_i</math>, जो संग्रह के प्रतिच्छेदन को संदर्भित करता है I <math>\left\{ A_i : i \in I \right\}.</math>यहां <math>I</math> गैर-अतिरिक्त समुच्चय है, एवं <math>A_i</math> प्रत्येक के लिए समुच्चय <math>i \in I.</math> है I हानि में सूचकांक समुच्चय <math>I</math> प्राकृतिक संख्याओं का समुच्चय है, इसमें अनंत गुणनफल के अनुरूप नोटेशन देखा जा सकता है:<math display="block">\bigcap_{i=1}^{\infty} A_i.</math>जब स्वरूपण कठिन हो, तो इसे इस प्रकार <math>A_1 \cap A_2 \cap A_3 \cap \cdots</math> लिखा जा सकता है I यह अंतिम उदाहरण, अनगिनत समुच्चयों का प्रतिच्छेदन, वास्तव में अधिक सामान्य है; उदाहरण के लिए, सिग्मा (σ- ) बीजगणितय पर लेख देखें। | |||
यदि <math>M</math> | |||
प्रतीकों में: | |||
<math display=block>\left( x \in \bigcap_{A \in M} A \right) \Leftrightarrow \left( \forall A \in M, \ x \in A \right).</math> | |||
इस अंतिम अवधारणा के लिए | |||
यहां <math>I</math> | |||
<math display=block>\bigcap_{i=1}^{\infty} A_i.</math> | |||
जब स्वरूपण कठिन हो, तो इसे | |||
== शून्य | == शून्य प्रतिच्छेदन == | ||
[[File:Multigrade operator AND.svg|thumb|कोष्ठकों में तर्कों का तार्किक संयोजन | [[File:Multigrade operator AND.svg|thumb|कोष्ठकों में तर्कों का तार्किक संयोजन बिना किसी तर्क का संयोजन टॉटोलॉजी है (तुलना करें: अतिरिक्त उत्पाद); तदनुसार बिना समुच्चय का प्रतिच्छेदन ब्रह्मांड (समुच्चय सिद्धांत) है।]]ध्यान दें कि पूर्व अनुभाग में, हमने उस हानि को बाहर कर दिया था जहाँ <math>M</math> रिक्त (<math>\varnothing</math>) समुच्चय था I जिसका कारण इस प्रकार है: संग्रह का प्रतिच्छेदन <math>M</math> समुच्चय के रूप में परिभाषित किया गया है (समुच्चय -बिल्डर नोटेशन देखें)<math display=block>\bigcap_{A \in M} A = \{x : \text{ for all } A \in M, x \in A\}.</math>यदि <math>M</math> रिक्त समुच्चय है, तो <math>A</math> में <math>M,</math> तो प्रश्न बन जाता है कौन सा <math>x</math> कथित सारणी को पूर्ण करते हैं? {{em| <math>x</math>}}. जब <math>M</math> रिक्त समुच्चय है, ऊपर दी गई सारणी रिक्त समुच्चय का उदाहरण है। रिक्त समुच्चय का परस्पर सार्वभौमिक समुच्चय होना चाहिए,<ref>{{cite book|last=Megginson|first=Robert E.|author-link=Robert Megginson|title=बनच अंतरिक्ष सिद्धांत का परिचय|series=[[Graduate Texts in Mathematics]]|volume=183|publisher=Springer-Verlag|location=New York|year=1998|pages=xx+596|isbn=0-387-98431-3|chapter=Chapter 1}}</ref> परन्तु मानक (ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत) समुच्चय सिद्धांत में, सार्वभौमिक समुच्चय नहीं है। | ||
<math display=block>\bigcap_{A \in M} A = \{x : \text{ for all } A \in M, x \in A\}.</math> | |||
यदि <math>M</math> | |||
प्रकार सिद्धांत में | प्रकार सिद्धांत में चूँकि, <math>x</math> निर्धारित प्रकार का है I इसलिए <math>\tau,</math> परस्पर प्रकार का समझा जाता है I <math>\mathrm{set}\ \tau</math> (समुच्चय का प्रकार जिसके तत्व <math>\tau</math> अंदर हैं ), को हम परिभाषित कर सकते हैं I <math>\bigcap_{A \in \empty} A</math> का सार्वभौमिक समुच्चय <math>\mathrm{set}\ \tau</math> होना I (वह समुच्चय जिसके तत्व सभी प्रकार के पद <math>\tau</math> हैं |) | ||
== यह भी देखें == | == यह भी देखें == | ||
* {{annotated link|समुच्चयों का बीजगणित}} | |||
* {{annotated link|प्रमुखता}} | |||
* {{annotated link| | * {{annotated link|पूरक (समुच्चय सिद्धांत)|पूरक}} | ||
* {{annotated link| | * {{annotated link|इंटरसेक्शन (यूक्लिडियन ज्यामिति)}} | ||
* {{annotated link| | * {{annotated link|इंटरसेक्शन ग्राफ}} | ||
* {{annotated link| | * {{annotated link|इंटरसेक्शन सिद्धांत}} | ||
* {{annotated link| | * {{annotated link|समुच्चय पहचान एवं संबंधों की सूची}} | ||
* {{annotated link| | * {{annotated link|तार्किक संयोजन}} | ||
* {{annotated link| | * {{annotated link|मिनहाश}} | ||
* {{annotated link| | * {{annotated link| समुच्चय सिद्धांत}} | ||
* {{annotated link| | * {{annotated link| | ||
* {{annotated link| | सममित अंतर}} | ||
* {{annotated link| | * {{annotated link|संघ (समुच्चय सिद्धांत)| संघ}} | ||
* {{annotated link| | |||
==संदर्भ== | ==संदर्भ== | ||
Line 109: | Line 68: | ||
* {{cite book|last=Munkres|first=James R.|author-link=James Munkres|title=Topology|edition=Second|location=Upper Saddle River|publisher=Prentice Hall|chapter=Set Theory and Logic|year=2000|isbn=0-13-181629-2}} | * {{cite book|last=Munkres|first=James R.|author-link=James Munkres|title=Topology|edition=Second|location=Upper Saddle River|publisher=Prentice Hall|chapter=Set Theory and Logic|year=2000|isbn=0-13-181629-2}} | ||
* {{cite book|title=Discrete Mathematics and Its Applications|first=Kenneth|last=Rosen|location=Boston|publisher=McGraw-Hill|year=2007|edition=Sixth|isbn=978-0-07-322972-0|chapter=Basic Structures: Sets, Functions, Sequences, and Sums}} | * {{cite book|title=Discrete Mathematics and Its Applications|first=Kenneth|last=Rosen|location=Boston|publisher=McGraw-Hill|year=2007|edition=Sixth|isbn=978-0-07-322972-0|chapter=Basic Structures: Sets, Functions, Sequences, and Sums}} | ||
==बाहरी संबंध== | ==बाहरी संबंध== | ||
Line 120: | Line 75: | ||
{{Set theory}} | {{Set theory}} | ||
{{Mathematical logic}} | {{Mathematical logic}} | ||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page]] | ||
[[Category:Collapse templates]] | |||
[[Category:Commons category link is the pagename]] | |||
[[Category:Created On 24/11/2022]] | [[Category:Created On 24/11/2022]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Mathematics navigational boxes]] | |||
[[Category:Navbox orphans]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages with broken file links]] | |||
[[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:Short description with empty Wikidata description]] | |||
[[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:Wikipedia metatemplates]] | |||
[[Category:चौराहा]] | |||
[[Category:समुच्चय सिद्धांत में मूलभूत अवधारणा]] | |||
[[Category:सेट पर संचालन]] |
Latest revision as of 16:24, 12 October 2023
समुच्चय सिद्धांत में, दो समुच्चय का प्रतिच्छेदन तथा द्वारा चिह्नित है[1] के सभी तत्वों से युक्त समुच्चय है I , से संबंधित है या समकक्ष है, के सभी तत्व के भी हैI[2]
संकेतन एवं शब्दावली
प्रतिच्छेदन प्रतीक का उपयोग करके लिखा गया है, अर्थात् इंफिक्स नोटेशन के, उदाहरण निम्नलिखित है:
इस लेख में प्रयुक्त प्रतीकों की व्याख्या के लिए, गणितीय प्रतीकों की सारणी देखें।
परिभाषा
दो समुच्चयो का परस्पर तथा द्वारा चिह्नित ,[3] उन सभी वस्तुओं का समुच्चय है जो दोनों समुच्चयों तथा के सदस्य होते हैं I
यह प्रतीकों में इस प्रकार प्रदर्शित हैं I
उदाहरण के लिए:
- समुच्चय {1, 2, 3} एवं {2, 3, 4} का प्रतिच्छेदन {2, 3} है।
- अंक 9 अभाज्य संख्याओं के समुच्चय {2, 3, 5, 7, 11, ...} एवं विषम संख्याओं के समुच्चय {1, 3, 5, 7, 9, 11, ...} के प्रतिच्छेदन में, 9 प्रधान नहीं है।
इंटरसेक्टिंग एवं डिसजॉइंट समुच्चय
कहा जाता है कि, यदि उपस्थित हो तो, प्रतिच्छेद करता है I का तत्व तथा है I जिस स्थिति में प्रतिच्छेद करता है, at प्राप्त होता है , समान रूप से, , को प्रतिच्छेद करता हैI यदि उनका परस्पर वसित समुच्चय है, जिसे द्वारा प्रदर्शित करते हैं I यदि , को प्रतिच्छेद नहीं करता है, तो इसे सरल भाषा में सामान्य तत्व नहीं मानते हैं। यदि तथा असंयुक्त हैं और परस्पर रिक्त समुच्चय है, तो इस प्रकार द्वारा प्रदर्शित करते है, उदाहरण के लिए, समुच्चयो तथा असम्बद्ध हैं, जबकि सम संख्याओं का समुच्चय 3 के गुणज के समुच्चय को 6 के गुणज में विभक्त करता है।
बीजगणितीय गुण
बाइनरी परस्पर साहचर्य ऑपरेशन है; अर्थात किसी भी समुच्चय के लिए तथा निम्नलिखित है:
परस्पर संघ पर वितरित करता है एवं संघ प्रतिच्छेदन पर वितरित करता है। अर्थात किसी भी समुच्चय के लिए तथा निम्नलिखित है
इच्छानुसार प्रतिच्छेदन
सामान्य धारणा समुच्चयो के स्वेच्छानुसार अतिरिक्त संग्रह का प्रतिच्छेदन है। यदि अतिरिक्त समुच्चय है जिसके तत्व स्वयं समुच्चय होते हैं I परस्पर का तत्व है I यदि केवल सार्वभौमिक परिमाणीकरण तत्व का का तत्व है, प्रतीकों में इस प्रकार है:
शून्य प्रतिच्छेदन
ध्यान दें कि पूर्व अनुभाग में, हमने उस हानि को बाहर कर दिया था जहाँ रिक्त () समुच्चय था I जिसका कारण इस प्रकार है: संग्रह का प्रतिच्छेदन समुच्चय के रूप में परिभाषित किया गया है (समुच्चय -बिल्डर नोटेशन देखें)
प्रकार सिद्धांत में चूँकि, निर्धारित प्रकार का है I इसलिए परस्पर प्रकार का समझा जाता है I (समुच्चय का प्रकार जिसके तत्व अंदर हैं ), को हम परिभाषित कर सकते हैं I का सार्वभौमिक समुच्चय होना I (वह समुच्चय जिसके तत्व सभी प्रकार के पद हैं |)
यह भी देखें
- समुच्चयों का बीजगणित – Identities and relationships involving sets
- प्रमुखता
- पूरक – Set of the elements not in a given subset
- इंटरसेक्शन (यूक्लिडियन ज्यामिति)
- इंटरसेक्शन ग्राफ
- इंटरसेक्शन सिद्धांत
- समुच्चय पहचान एवं संबंधों की सूची
- तार्किक संयोजन – Logical connective AND
- मिनहाश
- समुच्चय सिद्धांत
- [[
सममित अंतर| सममित अंतर]] – Elements in exactly one of two sets
संदर्भ
- ↑ "सेट्स का चौराहा". web.mnstate.edu. Retrieved 2020-09-04.
- ↑ "आँकड़े: संभाव्यता नियम". People.richland.edu. Retrieved 2012-05-08.
- ↑ 3.0 3.1 "सेट ऑपरेशंस | यूनियन | चौराहे | पूरक | अंतर | पारस्परिक रूप से अनन्य | विभाजन | डी मॉर्गन का नियम | वितरण नियम | कार्तीय उत्पाद". www.probabilitycourse.com. Retrieved 2020-09-04.
- ↑ Megginson, Robert E. (1998). "Chapter 1". बनच अंतरिक्ष सिद्धांत का परिचय. Graduate Texts in Mathematics. Vol. 183. New York: Springer-Verlag. pp. xx+596. ISBN 0-387-98431-3.
अग्रिम पठन
- Devlin, K. J. (1993). The Joy of Sets: Fundamentals of Contemporary Set Theory (Second ed.). New York, NY: Springer-Verlag. ISBN 3-540-94094-4.
- Munkres, James R. (2000). "Set Theory and Logic". Topology (Second ed.). Upper Saddle River: Prentice Hall. ISBN 0-13-181629-2.
- Rosen, Kenneth (2007). "Basic Structures: Sets, Functions, Sequences, and Sums". Discrete Mathematics and Its Applications (Sixth ed.). Boston: McGraw-Hill. ISBN 978-0-07-322972-0.