विलोम संबंध: Difference between revisions

Latest revision as of 09:53, 13 December 2022

गणित में, वह सम्बन्ध जो सम्बन्ध में तत्वों के क्रम को परिवर्तित करने पर प्राप्त होता है, द्विआधारी सम्बन्ध का प्रतिलोम-सम्बन्ध (कन्वेर्ज़ रिलेशन), या आव्यूहपरिवर्त (ट्रांस्पोज) कहलाता है। उदाहरण के लिए, 'चाइल्ड ऑफ़' सम्बन्ध का प्रतिलोम 'पैरेंट ऑफ़' सम्बन्ध होता है। औपचारिक पदों में, यदि $X$ और $Y$ समुच्चय हैं और $L\subseteq X\times Y$ $X$ से $Y$ तक का सम्बन्ध है, तो $L^{\operatorname {T} }$ सम्बन्ध परिभाषित किया जाता है ताकि $yL^{\operatorname {T} }x$ यदि और केवल यदि $xLy$ हो। समुच्चय-बिल्डर नोटेशन में,

L^{\operatorname {T} }=\{(y,x)\in Y\times X:(x,y)\in L\}.

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

चूँकि सम्बन्ध एक तार्किक आव्यूह द्वारा दर्शाया जा सकता है, और प्रतिलोम-सम्बन्ध का तार्किक आव्यूह मूल आव्यूह का आव्यूहपरिवर्त होता है, प्रतिलोम-सम्बन्ध को भी आव्यूहपरिवर्त सम्बन्ध कहा जाता है।^[1] इसे मूल सम्बन्ध का सम्मुख या द्वैत भी कहा जाता है,^[2] या मूल सम्बन्ध का व्युत्क्रम,^[3]^[4]^[5] या सम्बन्ध $L$ का व्युत्क्रम $L^{\circ }$ ।^[6]

प्रतिलोम-सम्बन्ध के लिए अन्य संकेतन में $L^{\operatorname {C} },L^{-1},{\breve {L}},L^{\circ },$ या $L^{\vee }$ सम्मिलित हैं।

उदाहरण

सामान्य (सम्भवतः पूर्णतः या आंशिक) अनुक्रम सम्बन्धों के लिए, प्रतिलोम स्वाभाविक रूप से अपेक्षित "विपरीत" अनुक्रम है, उदाहरण के लिए, ${\leq ^{\operatorname {T} }}={\geq },\quad {<^{\operatorname {T} }}={>}$ । सम्बन्ध को एक तार्किक आव्यूह द्वारा दर्शाया जा सकता है जैसे कि

{\begin{pmatrix}1&1&1&1\\0&1&0&1\\0&0&1&0\\0&0&0&1\end{pmatrix}}.

तब प्रतिलोम-सम्बन्ध को उसके आव्यूहपरिवर्त द्वारा दर्शाया जाता है:

{\begin{pmatrix}1&0&0&0\\1&1&0&0\\1&0&1&0\\1&1&0&1\end{pmatrix}}.

समतुल्यता सम्बन्धों के प्रतिलोम का नाम दिया जाता है: "

A

,

B

का अपत्य है" का प्रतिलोम "

B

,

A

के जनक हैं"। "

A

,

B

का भतीजा या भतीजी है" का प्रतिलोम है "

B

,

A

के चाचा या चाची हैं"। सम्बन्ध "

A

,

B

का सहोदर है" इसका स्वयं का प्रतिलोम है, क्योंकि यह एक सममित सम्बन्ध है।

गुण

समुच्चय पर द्विआधारी अंतःसम्बन्ध के मोनोइड में (सम्बन्धों की संरचना होने वाले सम्बन्धों पर द्विआधारी संक्रिया के साथ), प्रतिलोम सम्बन्ध समूह सिद्धांत से व्युत्क्रम की परिभाषा को संतुष्ट नहीं करता है, अर्थात्, यदि $L$ , $X$ पर एक यादृच्छिक सम्बन्ध है, तो $L\circ L^{\operatorname {T} }$ सामान्य रूप से $X$ पर तत्समक सम्बन्ध के बराबर नहीं है। प्रतिलोम-सम्बन्ध किसी अर्धसमूह के (दुर्बल) सिद्धांतों को अंतर्वलन से संतुष्ट करता है: $\left(L^{\operatorname {T} }\right)^{\operatorname {T} }=L$ और $(L\circ R)^{\operatorname {T} }=R^{\operatorname {T} }\circ L^{\operatorname {T} }$ ।^[7]

चूंकि सामान्यतः विभिन्न समुच्चयों के बीच सम्बन्धों पर विचार किया जा सकता है (जो मोनोइड के बजाय एक श्रेणी बनाते हैं, अर्थात् सम्बन्धों की श्रेणी रेल), इस संदर्भ में विपर्यय सम्बन्ध एक डैगर श्रेणी (अंतर्वलन के साथ उर्फ श्रेणी) के सिद्धांतों के अनुरूप है।^[8] इसके व्युत्क्रम के बराबर सम्बन्ध एक सममित सम्बन्ध है; कटार श्रेणियों की भाषा में यह स्वतःसंबद्ध है।

इसके अतिरिक्त, एक समुच्चय पर अंतःसम्बन्ध का सेमीग्रुप भी एक आंशिक रूप से क्रमबद्ध संरचना है (सम्बन्धों को समुच्चय के रूप में सम्मिलित करने के साथ), और वास्तव में एक समावेशी क्वांटले है। इसी प्रकार, विषम सम्बन्धों की श्रेणी, रेल भी एक क्रमबद्ध श्रेणी है।^[8]

सम्बन्धों के कलन में, रूपांतरण (प्रतिलोम सम्बन्ध लेने की एकल संक्रिया) संघ और उभयनिष्ठ की अन्य द्विआधारी संक्रियाओं के साथ संचलित होता है। रूपांतरण पूरकता के एकात्मक संचालन के साथ-साथ सुप्रीमा और इन्फिमा लेने के साथ भी शुरू होता है। रूपांतरण समावेशन द्वारा सम्बन्धों के क्रम के साथ भी संगत है।^[1]

यदि कोई सम्बन्ध स्वतुल्य, अस्वतुल्य, सममित, अंतिसममित, असममित, सकर्मक, संयुक्त, त्रिभाजनीय (ट्राईकोटोमोस), आंशिक अनुक्रम, कुल अनुक्रम, पूर्णतः असमर्थ अनुक्रम, कुल पूर्व अनुक्रम (असमर्थ अनुक्रम), या तुल्यता सम्बन्ध है, तो इसका प्रतिलोम भी होता है।

व्युत्क्रम

यदि $I$ तत्समक सम्बन्ध को प्रदर्शित करता है, तो सम्बन्ध $R$ का प्रतिलोम इस प्रकार हो सकता है: $R$ कहलाता है

दायाँ प्रतीप्य: यदि कोई सम्बन्ध $X$ उपस्थित है, जिसे $R$ का दायाँ प्रतिलोम कहा जाता है, जो $R\circ X=I$ को संतुष्ट करता है।
बाँया प्रतीप्य: यदि कोई सम्बन्ध $Y,$ उपस्थित है, जिसे $R,$ का बाँया प्रतिलोम कहा जाता है, जो $Y\circ R=I$ को संतुष्ट करता है।
प्रतीप्य: यदि यह दायाँ-प्रतीप्य और बाँया-प्रतीप्य दोनों है।

व्युत्क्रमणीय समरूप सम्बन्ध $R,$ के लिए, सभी दाएँ और बाएँ व्युत्क्रम संपाती हैं; इस अनूठे समुच्चय को इसका व्युत्क्रम कहा जाता है और इसे $R^{-1}$ द्वारा दर्शाया जाता है, इस स्थिति में, $R^{-1}=R^{\operatorname {T} }$ स्थायी रखता है। ^[1]^: 79

किसी फलन का प्रतिलोम-सम्बन्ध

एक फलन व्युत्क्रमणीय होता है यदि और केवल यदि इसका प्रतिलोम-सम्बन्ध एक फलन हो, तो इस स्थिति में प्रतिलोम-सम्बन्ध प्रतिलोम फलन होता है।

किसी फलन $f:X\to Y$ का प्रतिलोम-सम्बन्ध $\operatorname {graph} \,f^{-1}=\{(y,x)\in Y\times X:y=f(x)\}$ द्वारा परिभाषित सम्बन्ध $f^{-1}\subseteq Y\times X$ है।

यह आवश्यक रूप से एक फलन नहीं है: एक आवश्यक शर्त यह है कि $f$ अंतःक्षेपी हो, क्योंकि $f^{-1}$ बहु-मूल्यवान है। यह स्थिति $f^{-1}$ के लिए एक आंशिक फलन होने के लिए पर्याप्त है, और यह स्पष्ट है कि $f^{-1}$ तब एक (कुल) फलन है यदि और केवल यदि $f$ विशेषण है। उस स्थिति में, यदि $f$ एक विशेषण है, तो $f^{-1}$ को $f$ का प्रतिलोम फलन कहा जा सकता है।

उदाहरण के लिए, फलन $f(x)=2x+2$ में व्युत्क्रम फलन $f^{-1}(x)={\frac {x}{2}}-1$ है।

हालांकि, फलन $g(x)=x^{2}$ का व्युत्क्रम सम्बन्ध $g^{-1}(x)=\pm {\sqrt {x}},$ है जो कि बहुमान होने के कारण फलन नहीं है।

सम्बन्ध के साथ रचना

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

∀A ∀B ∅ ⊂ A ∩B ⇔ A ⊃ ∅ ⊂ B ⇔ A ⊃ ⊂ B इसी प्रकार,

U = समष्टि के लिए, A ∪ B ⊂ U ⇔ A ⊂ U ⊃ B ⇔ A ⊂ ⊃ B

अब समुच्चय सदस्यता सम्बन्ध और इसके प्रतिलोम पर विचार करें।

A\ni z\in B\Leftrightarrow z\in A\cap B\Leftrightarrow A\cap B\neq \emptyset .

इस प्रकार $A\ni \in B\Leftrightarrow A\cap B\neq \emptyset .$ विपरीत रचना $\in \ni$ सार्वभौम सम्बन्ध है।

रचनाओं का उपयोग सम्बन्धों को प्रकार के अनुसार वर्गीकृत करने के लिए किया जाता है: एक सम्बन्ध Q के लिए, जब Q की सीमा पर तत्समक सम्बन्ध में Q^TQ होता है, तो Q को एकसंयोजी कहलाता है। जब Q के प्रांत पर तत्समक सम्बन्ध Q Q^T में निहित होता है, तो Q को पूर्ण कहा जाता है। जब Q एकसंयोजक और पूर्ण दोनों हो तो यह एक फलन होता है। जब Q^T एकसंयोजी होता है, तो Q को अंत:क्षेपक कहलाता है। जब Q^T पूर्ण होता है, तो Q को विशेषण कहलाता है।^[9]

यदि Q एकसंयोजक है, तो Q Q^T, Q के प्रांत पर तुल्यता सम्बन्ध है, देखें सकर्मक सम्बन्ध#सम्बन्धित गुण।

यह भी देखें

संदर्भ

↑ ^1.0 ^1.1 ^1.2 Gunther Schmidt; Thomas Ströhlein (1993). संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित. Springer Berlin Heidelberg. pp. 9–10. ISBN 978-3-642-77970-1.
↑ Celestina Cotti Ferrero; Giovanni Ferrero (2002). नियरिंग्स: सेमीग्रुप्स और ग्रुप्स से जुड़े कुछ विकास. Kluwer Academic Publishers. p. 3. ISBN 978-1-4613-0267-4.
↑ Daniel J. Velleman (2006). इसे कैसे साबित करें: एक संरचित दृष्टिकोण. Cambridge University Press. p. 173. ISBN 978-1-139-45097-3.
↑ Shlomo Sternberg; Lynn Loomis (2014). उन्नत कैलकुलस. World Scientific Publishing Company. p. 9. ISBN 978-9814583930.
↑ Rosen, Kenneth H. (2017). असतत और संयोजी गणित की पुस्तिका. Rosen, Kenneth H., Shier, Douglas R., Goddard, Wayne. (Second ed.). Boca Raton, FL. p. 43. ISBN 978-1-315-15648-4. OCLC 994604351.{{cite book}}: CS1 maint: location missing publisher (link)
↑ Peter J. Freyd & Andre Scedrov (1990) Categories, Allegories, page 79, North Holland ISBN 0-444-70368-3
↑ Joachim Lambek (2001). "Relations Old and New". In Ewa Orłowska; Andrzej Szalas (eds.). कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके. Springer Science & Business Media. pp. 135–146. ISBN 978-3-7908-1365-4.
↑ ^8.0 ^8.1 Joachim Lambek (2001). "Relations Old and New". In Ewa Orłowska; Andrzej Szalas (eds.). कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके. Springer Science & Business Media. pp. 135–146. ISBN 978-3-7908-1365-4.
↑ Gunther Schmidt & Michael Winter (2018) Relational Topology, Springer Lecture Notes in Mathematics #2208, page 8, ISBN 978-3-319-74450-6

Halmos, Paul R. (1974), Naive Set Theory, p. 40, ISBN 978-0-387-90092-6

[R&G-1] 1.0 ^1.1 ^1.2 Gunther Schmidt; Thomas Ströhlein (1993). संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित. Springer Berlin Heidelberg. pp. 9–10. ISBN 978-3-642-77970-1.

[2] Celestina Cotti Ferrero; Giovanni Ferrero (2002). नियरिंग्स: सेमीग्रुप्स और ग्रुप्स से जुड़े कुछ विकास. Kluwer Academic Publishers. p. 3. ISBN 978-1-4613-0267-4.

[3] Daniel J. Velleman (2006). इसे कैसे साबित करें: एक संरचित दृष्टिकोण. Cambridge University Press. p. 173. ISBN 978-1-139-45097-3.

[S&S-4] Shlomo Sternberg; Lynn Loomis (2014). उन्नत कैलकुलस. World Scientific Publishing Company. p. 9. ISBN 978-9814583930.

[5] Rosen, Kenneth H. (2017). असतत और संयोजी गणित की पुस्तिका. Rosen, Kenneth H., Shier, Douglas R., Goddard, Wayne. (Second ed.). Boca Raton, FL. p. 43. ISBN 978-1-315-15648-4. OCLC 994604351.{{cite book}}: CS1 maint: location missing publisher (link)

[6] Peter J. Freyd & Andre Scedrov (1990) Categories, Allegories, page 79, North Holland ISBN 0-444-70368-3

[Lambek20012-7] Joachim Lambek (2001). "Relations Old and New". In Ewa Orłowska; Andrzej Szalas (eds.). कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके. Springer Science & Business Media. pp. 135–146. ISBN 978-3-7908-1365-4.

[Lambek2001-8] 8.0 ^8.1 Joachim Lambek (2001). "Relations Old and New". In Ewa Orłowska; Andrzej Szalas (eds.). कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके. Springer Science & Business Media. pp. 135–146. ISBN 978-3-7908-1365-4.

[9] Gunther Schmidt & Michael Winter (2018) Relational Topology, Springer Lecture Notes in Mathematics #2208, page 8, ISBN 978-3-319-74450-6

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

@@ Line 1: / Line 1: @@
 {{Short description|Reversal of the order of elements of a binary relation}}
-{{For|सांख्यिकी में उलटा संबंध|नकारात्मक संबंध}}
+{{For|सांख्यिकी में व्युत्क्रम संबंध| ऋणात्मक संबंध}}
-गणित में, एक [[द्विआधारी संबंध]] का विलोम संबंध, या स्थानान्तरण, वह संबंध है जो संबंध में तत्वों के क्रम को बदलने पर होता है। उदाहरण के लिए, 'का बच्चा' संबंध का विलोम 'का जनक' संबंध है। औपचारिक शब्दों में, यदि <math>X</math> और <math>Y</math> [[सेट (गणित)|समुच्चय]] हैं और <math>L \subseteq X \times Y</math> <math>X</math> से <math>Y,</math> तक का संबंध है, तो <math>L^{\operatorname{T}}</math> संबंध परिभाषित किया गया है ताकि <math>yL^{\operatorname{T}}x</math> यदि और केवल यदि <math>xLy</math> हो। [[सेट-बिल्डर नोटेशन]] में,
-:<math>L^{\operatorname{T}} = \{ (y, x) \in Y \times X : (x, y) \in L \}.</math>
-एक व्युत्क्रम कार्य के लिए संकेतन इसके अनुरूप है। हालाँकि कई फलनों का प्रतिलोम नहीं होता है, फिर भी प्रत्येक संबंध का एक विशिष्ट विलोम होता है। [[एकात्मक ऑपरेशन|यूनरी ऑपरेशन]] जो एक संबंध को बातचीत के संबंध में मैप करता है, एक इनवोल्यूशन है, इसलिए यह एक सेट पर बाइनरी रिलेशंस पर इनवोल्यूशन के साथ एक सेमीग्रुप की संरचना को प्रेरित करता है, या, अधिक आम तौर पर, नीचे दिए गए विवरण के अनुसार [[संबंधों की श्रेणी]] पर एक डैगर श्रेणी उत्पन्न करता है। एक यूनरी ऑपरेशन के रूप में, बातचीत (कभी-कभी रूपांतरण या [[पक्षांतरित|ट्रांसपोज़िशन]] कहा जाता है) लेने से संबंधों के कैलकुस के ऑर्डर-संबंधित संचालन के साथ शुरू होता है, यानी यह संघ, चौराहे और पूरक के साथ कम्यूट करता है।
-चूँकि एक संबंध एक तार्किक मैट्रिक्स द्वारा दर्शाया जा सकता है, और विलोम संबंध का तार्किक मैट्रिक्स मूल का स्थानान्तरण है, विलोम संबंध को भी पारगमन संबंध कहा जाता है।<ref name="R&G">{{cite book|author1=Gunther Schmidt|author2=Thomas Ströhlein|title=संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित|url=https://archive.org/details/relationsgraphsd00schm|url-access=limited|year=1993|publisher=Springer Berlin Heidelberg|isbn=978-3-642-77970-1|pages=[https://archive.org/details/relationsgraphsd00schm/page/n16 9]–10}}</ref> इसे मूल संबंध का विपरीत या दोहरा भी कहा गया है,<ref>{{cite book|author1=Celestina Cotti Ferrero|author2=Giovanni Ferrero|title=नियरिंग्स: सेमीग्रुप्स और ग्रुप्स से जुड़े कुछ विकास|year=2002|publisher=Kluwer Academic Publishers|isbn=978-1-4613-0267-4|page=3}}</ref> या मूल संबंध का व्युत्क्रम,<ref>{{cite book|author=Daniel J. Velleman|title=इसे कैसे साबित करें: एक संरचित दृष्टिकोण|url=https://books.google.com/books?id=sXt-ROLLNHcC&pg=PA173|year=2006|publisher=Cambridge University Press|isbn=978-1-139-45097-3|page=173}}</ref><ref name="S&S">{{cite book|author1=Shlomo Sternberg|author2=Lynn Loomis|title=उन्नत कैलकुलस|year=2014|publisher=World Scientific Publishing Company|isbn=978-9814583930|page=9}}</ref><ref>{{Cite book|last=Rosen|first=Kenneth H.|url=https://www.worldcat.org/oclc/994604351|title=असतत और संयोजी गणित की पुस्तिका|others=Rosen, Kenneth H., Shier, Douglas R., Goddard, Wayne.|year=2017|isbn=978-1-315-15648-4|edition=Second|location=Boca Raton, FL|pages=43|oclc=994604351}}</ref> या संबंध <math>L</math> का पारस्परिक <math>L^{\circ}</math>।<ref>[[Peter J. Freyd]] & Andre Scedrov (1990) Categories, Allegories, page 79, North Holland {{ISBN|0-444-70368-3}}</ref>
+गणित में, वह सम्बन्ध जो सम्बन्ध में तत्वों के क्रम को परिवर्तित करने पर प्राप्त होता है, [[द्विआधारी संबंध|द्विआधारी सम्बन्ध]] का '''प्रतिलोम-सम्बन्ध''' (कन्वेर्ज़ रिलेशन), या '''आव्यूहपरिवर्त''' (ट्रांस्पोज) कहलाता है। उदाहरण के लिए, 'चाइल्ड ऑफ़' सम्बन्ध का प्रतिलोम 'पैरेंट ऑफ़' सम्बन्ध होता है। औपचारिक पदों में, यदि <math>X</math> और <math>Y</math> [[सेट (गणित)|समुच्चय]] हैं और <math>L \subseteq X \times Y</math> <math>X</math> से <math>Y</math> तक का सम्बन्ध है, तो <math>L^{\operatorname{T}}</math> सम्बन्ध परिभाषित किया जाता है ताकि <math>yL^{\operatorname{T}}x</math> यदि और केवल यदि <math>xLy</math> हो। [[सेट-बिल्डर नोटेशन|समुच्चय-बिल्डर नोटेशन]] में,
+:<math>L^{\operatorname{T}} = \{ (y, x) \in Y \times X : (x, y) \in L \}.</math>
+किसी प्रतिलोम फलन के लिए संकेतन इसके अनुरूप होता है। हालाँकि कई फलनों का प्रतिलोम नहीं होता है, फिर भी प्रत्येक सम्बन्ध का एक विशिष्ट प्रतिलोम होता है। [[एकात्मक ऑपरेशन|एकल संक्रिया]] जो एक सम्बन्ध को प्रतिलोम-सम्बन्ध में प्रतिचित्रित (मैप) करता है, एक अंतर्वलन (इनवोल्यूशन) होता है, अतः यह एक समुच्चय पर द्विआधारी सम्बन्धों पर अंतर्वलन के साथ एक अर्द्धसमुह की संरचना को प्रेरित करता है, या, अधिक साधारणतयः, नीचे दिए गए विवरण के अनुसार [[संबंधों की श्रेणी|सम्बन्धों की श्रेणी]] पर एक डैगर श्रेणी उत्पन्न करता है। एक एकल संक्रिया के रूप में, संबंधों की गणना के क्रम से संबंधित संचालन के साथ प्रतिलोम (कभी-कभी '''रूपांतरण''' या [[पक्षांतरित|आव्यूहपरिवर्त]] कहा जाता है) प्राप्त करना, अर्थात यह संघ, उभयनिष्ठ और पूरक के साथ विनिमय करता है।
-विलोम संबंध के लिए अन्य संकेतन में <math>L^{\operatorname{C}}, L^{-1}, \breve{L}, L^{\circ},</math> या <math>L^{\vee}</math> शामिल हैं।
+चूँकि सम्बन्ध एक तार्किक आव्यूह द्वारा दर्शाया जा सकता है, और प्रतिलोम-सम्बन्ध का तार्किक आव्यूह मूल आव्यूह का आव्यूहपरिवर्त होता है, प्रतिलोम-सम्बन्ध को भी '''आव्यूहपरिवर्त सम्बन्ध''' कहा जाता है।<ref name="R&G">{{cite book|author1=Gunther Schmidt|author2=Thomas Ströhlein|title=संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित|url=https://archive.org/details/relationsgraphsd00schm|url-access=limited|year=1993|publisher=Springer Berlin Heidelberg|isbn=978-3-642-77970-1|pages=[https://archive.org/details/relationsgraphsd00schm/page/n16 9]–10}}</ref> इसे मूल सम्बन्ध का '''सम्मुख''' या '''द्वैत''' भी कहा जाता है,<ref>{{cite book|author1=Celestina Cotti Ferrero|author2=Giovanni Ferrero|title=नियरिंग्स: सेमीग्रुप्स और ग्रुप्स से जुड़े कुछ विकास|year=2002|publisher=Kluwer Academic Publishers|isbn=978-1-4613-0267-4|page=3}}</ref> या मूल सम्बन्ध का '''व्युत्क्रम''',<ref>{{cite book|author=Daniel J. Velleman|title=इसे कैसे साबित करें: एक संरचित दृष्टिकोण|url=https://books.google.com/books?id=sXt-ROLLNHcC&pg=PA173|year=2006|publisher=Cambridge University Press|isbn=978-1-139-45097-3|page=173}}</ref><ref name="S&S">{{cite book|author1=Shlomo Sternberg|author2=Lynn Loomis|title=उन्नत कैलकुलस|year=2014|publisher=World Scientific Publishing Company|isbn=978-9814583930|page=9}}</ref><ref>{{Cite book|last=Rosen|first=Kenneth H.|url=https://www.worldcat.org/oclc/994604351|title=असतत और संयोजी गणित की पुस्तिका|others=Rosen, Kenneth H., Shier, Douglas R., Goddard, Wayne.|year=2017|isbn=978-1-315-15648-4|edition=Second|location=Boca Raton, FL|pages=43|oclc=994604351}}</ref> या सम्बन्ध <math>L</math> का '''व्युत्क्रम''' <math>L^{\circ}</math>।<ref>[[Peter J. Freyd]] & Andre Scedrov (1990) Categories, Allegories, page 79, North Holland {{ISBN|0-444-70368-3}}</ref>
+प्रतिलोम-सम्बन्ध के लिए अन्य संकेतन में <math>L^{\operatorname{C}}, L^{-1}, \breve{L}, L^{\circ},</math> या <math>L^{\vee}</math> सम्मिलित हैं।
 == उदाहरण ==
-सामान्य (शायद सख्त या आंशिक) [[आदेश संबंध|आदेश संबंधों]] के लिए, बातचीत भोले-भाले अपेक्षित "विपरीत" क्रम है, उदाहरण के लिए, <math>{\leq^\operatorname{T}} = {\geq},\quad {<^\operatorname{T}} = {>}</math>।
+सामान्य (सम्भवतः पूर्णतः या आंशिक) [[आदेश संबंध|अनुक्रम सम्बन्धों]] के लिए, प्रतिलोम स्वाभाविक रूप से अपेक्षित "विपरीत" अनुक्रम है, उदाहरण के लिए, <math>{\leq^\operatorname{T}} = {\geq},\quad {<^\operatorname{T}} = {>}</math>।
-एक संबंध को एक तार्किक मैट्रिक्स द्वारा दर्शाया जा सकता है जैसे कि<math display="block">\begin{pmatrix}
+सम्बन्ध को एक तार्किक आव्यूह द्वारा दर्शाया जा सकता है जैसे कि<math display="block">\begin{pmatrix}
 & 1 & 1 & 1 \\
 & 1 & 0 & 1 \\
@@ Line 16: / Line 17: @@
 & 0 & 0 & 1
 \end{pmatrix}.
-</math>तब विलोम संबंध को उसके स्थानान्तरण मैट्रिक्स द्वारा दर्शाया जाता है:<math display="block">\begin{pmatrix}
+</math>तब प्रतिलोम-सम्बन्ध को उसके आव्यूहपरिवर्त द्वारा दर्शाया जाता है:<math display="block">\begin{pmatrix}
 & 0 & 0 & 0 \\
 & 1 & 0 & 0 \\
@@ Line 22: / Line 23: @@
 & 1 & 0 & 1
 \end{pmatrix}.
-</math>रिश्तेदारी संबंधों के विलोम का नाम दिया गया है: "<math>A</math> <math>B</math> की संतान है" का विलोम "<math>B</math> <math>A</math> के माता-पिता हैं"। "<math>A</math>, <math>B</math> का भतीजा या भतीजी है" का विलोम है "<math>B</math>, <math>A</math> के [[चाचा]] या [[चाची]] हैं"। संबंध "<math>A</math> <math>B</math> का [[भाई|सहोदर]] है" इसका स्वयं का विलोम है, क्योंकि यह एक सममित संबंध है।
+</math>समतुल्यता सम्बन्धों के प्रतिलोम का नाम दिया जाता है: "<math>A</math>, <math>B</math> का अपत्य है" का प्रतिलोम "<math>B</math>, <math>A</math> के जनक हैं"। "<math>A</math>, <math>B</math> का भतीजा या भतीजी है" का प्रतिलोम है "<math>B</math>, <math>A</math> के [[चाचा]] या [[चाची]] हैं"। सम्बन्ध "<math>A</math>, <math>B</math> का [[भाई|सहोदर]] है" इसका स्वयं का प्रतिलोम है, क्योंकि यह एक सममित सम्बन्ध है।
 == गुण ==
-एक सेट पर बाइनरी [[android|एंडोरेलेशन]] के [[मोनोइड]] में (संबंधों की संरचना होने वाले संबंधों पर [[बाइनरी ऑपरेशन]] के साथ), विपरीत संबंध समूह सिद्धांत से व्युत्क्रम की परिभाषा को संतुष्ट नहीं करता है, अर्थात्, यदि <math>L</math> <math>X,</math> पर एक मनमाना संबंध है, तो <math>L \circ L^{\operatorname{T}}</math> सामान्य रूप से <math>X</math> पर [[पहचान समारोह|तत्समक संबंध]] के बराबर नहीं है। विलोम संबंध एक अर्धसमूह के (कमजोर) सिद्धांतों को अंतर्वलन से संतुष्ट करता है: <math>\left(L^{\operatorname{T}}\right)^{\operatorname{T}} = L</math> और <math>(L \circ R)^{\operatorname{T}} = R^{\operatorname{T}} \circ L^{\operatorname{T}}</math>।<ref name="Lambek20012">{{cite book|editor= Ewa Orłowska|editor-link= Ewa Orłowska |editor2=Andrzej Szalas|title=कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके|year=2001|publisher=Springer Science & Business Media|isbn=978-3-7908-1365-4|pages=135–146|chapter=Relations Old and New|author=Joachim Lambek|author-link=Joachim Lambek}}</ref>
+समुच्चय पर द्विआधारी [[android|अंतःसम्बन्ध]] के [[मोनोइड]] में (सम्बन्धों की संरचना होने वाले सम्बन्धों पर [[बाइनरी ऑपरेशन|द्विआधारी संक्रिया]] के साथ), प्रतिलोम सम्बन्ध समूह सिद्धांत से व्युत्क्रम की परिभाषा को संतुष्ट नहीं करता है, अर्थात्, यदि <math>L</math>, <math>X</math> पर एक यादृच्छिक सम्बन्ध है, तो <math>L \circ L^{\operatorname{T}}</math> सामान्य रूप से <math>X</math> पर [[पहचान समारोह|तत्समक सम्बन्ध]] के बराबर ''नहीं'' है। प्रतिलोम-सम्बन्ध किसी अर्धसमूह के (दुर्बल) सिद्धांतों को अंतर्वलन से संतुष्ट करता है: <math>\left(L^{\operatorname{T}}\right)^{\operatorname{T}} = L</math> और <math>(L \circ R)^{\operatorname{T}} = R^{\operatorname{T}} \circ L^{\operatorname{T}}</math>।<ref name="Lambek20012">{{cite book|editor= Ewa Orłowska|editor-link= Ewa Orłowska |editor2=Andrzej Szalas|title=कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके|year=2001|publisher=Springer Science & Business Media|isbn=978-3-7908-1365-4|pages=135–146|chapter=Relations Old and New|author=Joachim Lambek|author-link=Joachim Lambek}}</ref>
-चूंकि आम तौर पर विभिन्न सेटों के बीच संबंधों पर विचार किया जा सकता है (जो एक मोनोइड के बजाय एक [[श्रेणी (गणित)|श्रेणी]] बनाते हैं, अर्थात् संबंधों की श्रेणी रिले), इस संदर्भ में विपर्यय संबंध एक डैगर श्रेणी (इनवोल्यूशन के साथ उर्फ श्रेणी) के सिद्धांतों के अनुरूप है।<ref name="Lambek2001">{{cite book|editor= Ewa Orłowska|editor-link= Ewa Orłowska |editor2=Andrzej Szalas|title=कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके|year=2001|publisher=Springer Science & Business Media|isbn=978-3-7908-1365-4|pages=135–146|chapter=Relations Old and New|author=Joachim Lambek|author-link=Joachim Lambek}}</ref> इसके व्युत्क्रम के बराबर संबंध एक [[सममित संबंध]] है; खंजर श्रेणियों की भाषा में यह स्वतःसंबद्ध है।
+चूंकि सामान्यतः विभिन्न समुच्चयों के बीच सम्बन्धों पर विचार किया जा सकता है (जो मोनोइड के बजाय एक [[श्रेणी (गणित)|श्रेणी]] बनाते हैं, अर्थात् सम्बन्धों की श्रेणी '''रेल'''), इस संदर्भ में विपर्यय सम्बन्ध एक डैगर श्रेणी (अंतर्वलन के साथ उर्फ श्रेणी) के सिद्धांतों के अनुरूप है।<ref name="Lambek2001">{{cite book|editor= Ewa Orłowska|editor-link= Ewa Orłowska |editor2=Andrzej Szalas|title=कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके|year=2001|publisher=Springer Science & Business Media|isbn=978-3-7908-1365-4|pages=135–146|chapter=Relations Old and New|author=Joachim Lambek|author-link=Joachim Lambek}}</ref> इसके व्युत्क्रम के बराबर सम्बन्ध एक [[सममित संबंध|सममित सम्बन्ध]] है; कटार श्रेणियों की भाषा में यह स्वतःसंबद्ध है।
-इसके अलावा, एक सेट पर एंडोरेलेशन का सेमीग्रुप भी एक आंशिक रूप से क्रमबद्ध संरचना है (संबंधों को सेट के रूप में शामिल करने के साथ), और वास्तव में एक समावेशी [[कितना|क्वांटले]] है। इसी प्रकार, [[विषम संबंध|विषम संबंधों]] की श्रेणी, Rel भी एक क्रमबद्ध श्रेणी है।<ref name="Lambek2001" />
+इसके अतिरिक्त, एक समुच्चय पर अंतःसम्बन्ध का सेमीग्रुप भी एक आंशिक रूप से क्रमबद्ध संरचना है (सम्बन्धों को समुच्चय के रूप में सम्मिलित करने के साथ), और वास्तव में एक समावेशी [[कितना|क्वांटले]] है। इसी प्रकार, [[विषम संबंध|विषम सम्बन्धों]] की श्रेणी, रेल भी एक क्रमबद्ध श्रेणी है।<ref name="Lambek2001" />
-संबंधों की कलन में, रूपांतरण (विपरीत संबंध लेने की एकात्मक संक्रिया) संघ और प्रतिच्छेदन की अन्य द्विआधारी संक्रियाओं के साथ संचलित होता है। रूपांतरण पूरकता के एकात्मक संचालन के साथ-साथ [[उच्चतम|सुप्रीमा]] और इन्फिमा लेने के साथ भी शुरू होता है। रूपांतरण समावेशन द्वारा संबंधों के क्रम के साथ भी संगत है।<ref name="R&G" />
+सम्बन्धों के कलन में, रूपांतरण (प्रतिलोम सम्बन्ध लेने की एकल संक्रिया) संघ और उभयनिष्ठ की अन्य द्विआधारी संक्रियाओं के साथ संचलित होता है। रूपांतरण पूरकता के एकात्मक संचालन के साथ-साथ [[उच्चतम|सुप्रीमा]] और इन्फिमा लेने के साथ भी शुरू होता है। रूपांतरण समावेशन द्वारा सम्बन्धों के क्रम के साथ भी संगत है।<ref name="R&G" />
-यदि कोई संबंध रिफ्लेक्सिव, इर्रेफ्लेक्सिव, सममित, [[एंटीसिमेट्रिक संबंध|एंटीसिमेट्रिक]], [[असममित संबंध|असममित]], [[सकर्मक संबंध|सकर्मक]], जुड़ा हुआ, त्रिकोटोमस, एक आंशिक क्रम, कुल आदेश, सख्त कमजोर आदेश, [[कुल आदेश|कुल पूर्व आदेश]] (कमजोर क्रम), या एक [[तुल्यता संबंध]] है, तो इसका विलोम भी है।
+यदि कोई सम्बन्ध स्वतुल्य, अस्वतुल्य, सममित, [[एंटीसिमेट्रिक संबंध|अंतिसममित]], [[असममित संबंध|असममित]], [[सकर्मक संबंध|सकर्मक]], संयुक्त, त्रिभाजनीय (ट्राईकोटोमोस), आंशिक अनुक्रम, कुल अनुक्रम, पूर्णतः असमर्थ अनुक्रम, [[कुल आदेश|कुल पूर्व अनुक्रम]] (असमर्थ अनुक्रम), या [[तुल्यता संबंध|तुल्यता सम्बन्ध]] है, तो इसका प्रतिलोम भी होता है।
-== उलटा ==
+== व्युत्क्रम ==
-यदि <math>I</math> तत्समक संबंध को प्रदर्शित करता है, तो संबंध <math>R</math> का प्रतिलोम इस प्रकार हो सकता है: <math>R</math> कहलाता है
+यदि <math>I</math> तत्समक सम्बन्ध को प्रदर्शित करता है, तो सम्बन्ध <math>R</math> का प्रतिलोम इस प्रकार हो सकता है: <math>R</math> कहलाता है
-; दाहिने प्रतीप्य
+; दायाँ प्रतीप्य
-: यदि कोई संबंध <math>X</math> मौजूद है, जिसे <math>R</math> का सही प्रतिलोम कहा जाता है, जो <math>R \circ X = I</math> को संतुष्ट करता है।
+: यदि कोई सम्बन्ध <math>X</math> उपस्थित है, जिसे <math>R</math> का '''दायाँ प्रतिलोम''' कहा जाता है, जो <math>R \circ X = I</math> को संतुष्ट करता है।
 ; बाँया प्रतीप्य
-: यदि कोई संबंध <math>Y,</math> मौजूद है, जिसे <math>R,</math> का बायां प्रतिलोम कहा जाता है, जो <math>Y \circ R = I</math> को संतुष्ट करता है।
+: यदि कोई सम्बन्ध <math>Y,</math> उपस्थित है, जिसे <math>R,</math> का '''बाँया प्रतिलोम''' कहा जाता है, जो <math>Y \circ R = I</math> को संतुष्ट करता है।
 ; प्रतीप्य
-: यदि यह दायां-उलटा और बायां-उलटा दोनों है।
+: यदि यह दायाँ-प्रतीप्य और बाँया-प्रतीप्य दोनों है।
-एक व्युत्क्रमणीय समरूप संबंध <math>R,</math> के लिए, सभी दाएँ और बाएँ व्युत्क्रम संपाती हैं; इस अनूठे सेट को इसका व्युत्क्रम कहा जाता है और इसे <math>R^{-1}</math> द्वारा दर्शाया जाता है, इस मामले में, <math>R^{-1} = R^{\operatorname{T}}</math> होल्ड करता है। <ref name=R&G/>{{rp|79}}
+व्युत्क्रमणीय समरूप सम्बन्ध <math>R,</math> के लिए, सभी दाएँ और बाएँ व्युत्क्रम संपाती हैं; इस अनूठे समुच्चय को इसका '''व्युत्क्रम''' कहा जाता है और इसे <math>R^{-1}</math> द्वारा दर्शाया जाता है, इस स्थिति में, <math>R^{-1} = R^{\operatorname{T}}</math> स्थायी रखता है। <ref name=R&G/>{{rp|79}}
-=== किसी फलन का विलोम संबंध ===
+=== किसी फलन का प्रतिलोम-सम्बन्ध ===
-एक फलन व्युत्क्रमणीय होता है यदि और केवल यदि इसका विलोम संबंध एक फलन हो, तो इस मामले में विलोम संबंध प्रतिलोम फलन होता है।
+एक फलन व्युत्क्रमणीय होता है यदि और केवल यदि इसका प्रतिलोम-सम्बन्ध एक फलन हो, तो इस स्थिति में प्रतिलोम-सम्बन्ध प्रतिलोम फलन होता है।
-किसी फलन <math>f : X \to Y</math> का विलोम संबंध <math>\operatorname{graph}\, f^{-1} = \{ (y, x) \in Y \times X : y = f(x) \}</math> द्वारा परिभाषित संबंध <math>f^{-1} \subseteq Y \times X</math> है।
+किसी फलन <math>f : X \to Y</math> का प्रतिलोम-सम्बन्ध <math>\operatorname{graph}\, f^{-1} = \{ (y, x) \in Y \times X : y = f(x) \}</math> द्वारा परिभाषित सम्बन्ध <math>f^{-1} \subseteq Y \times X</math> है।
-यह आवश्यक रूप से एक कार्य नहीं है: एक आवश्यक शर्त यह है कि <math>f</math> [[इंजेक्शन|अंतःक्षेपी]] हो, क्योंकि <math>f^{-1}</math> बहु-मूल्यवान है। यह स्थिति <math>f^{-1}</math> के लिए एक आंशिक कार्य होने के लिए पर्याप्त है, और यह स्पष्ट है कि <math>f^{-1}</math> तब एक (कुल) कार्य है [[अगर और केवल अगर|यदि और केवल यदि]] <math>f</math> [[विशेषण]] है। उस मामले में, यदि <math>f</math> एक विशेषण है, तो <math>f^{-1}</math> को <math>f</math> का व्युत्क्रम कार्य कहा जा सकता है।
+यह आवश्यक रूप से एक फलन नहीं है: एक आवश्यक शर्त यह है कि <math>f</math> [[इंजेक्शन|अंतःक्षेपी]] हो, क्योंकि <math>f^{-1}</math> बहु-मूल्यवान है। यह स्थिति <math>f^{-1}</math> के लिए एक आंशिक फलन होने के लिए पर्याप्त है, और यह स्पष्ट है कि <math>f^{-1}</math> तब एक (कुल) फलन है [[अगर और केवल अगर|यदि और केवल यदि]] <math>f</math> [[विशेषण]] है। उस स्थिति में, यदि <math>f</math> एक विशेषण है, तो <math>f^{-1}</math> को <math>f</math> का प्रतिलोम फलन कहा जा सकता है।
-उदाहरण के लिए, फ़ंक्शन <math>f(x) = 2x + 2</math> में व्युत्क्रम फ़ंक्शन <math>f^{-1}(x) = \frac{x}{2} - 1</math> है।
+उदाहरण के लिए, फलन <math>f(x) = 2x + 2</math> में व्युत्क्रम फलन <math>f^{-1}(x) = \frac{x}{2} - 1</math> है।
-हालांकि, फलन <math>g(x) = x^2</math> का व्युत्क्रम संबंध <math>g^{-1}(x) = \pm \sqrt{x},</math> है जो कि बहु-मूल्यवान होने के कारण फलन नहीं है।
+हालांकि, फलन <math>g(x) = x^2</math> का व्युत्क्रम सम्बन्ध <math>g^{-1}(x) = \pm \sqrt{x},</math> है जो कि बहुमान होने के कारण फलन नहीं है।
-== संबंध के साथ रचना ==
+== सम्बन्ध के साथ रचना ==
-संबंधों के संघटन का प्रयोग करते हुए, विलोम को मूल संबंध से बनाया जा सकता है। उदाहरण के लिए, इसके विलोम से बना उपसमुच्चय संबंध हमेशा सार्वभौमिक संबंध है:
+सम्बन्धों के संघटन का प्रयोग करते हुए, प्रतिलोम को मूल सम्बन्ध से बनाया जा सकता है। उदाहरण के लिए, इसके प्रतिलोम से बना उपसमुच्चय सम्बन्ध हमेशा सार्वभौमिक सम्बन्ध है:
-:∀A ∀B ∅ ⊂ A ∩B ⇔ A ⊃ ∅ ⊂ B ⇔ A ⊃ ⊂ B. इसी प्रकार,
+:∀A ∀B ∅ ⊂ A ∩B ⇔ A ⊃ ∅ ⊂ B ⇔ A ⊃ ⊂ B इसी प्रकार,
-: U = [[ब्रह्मांड (गणित)|ब्रह्मांड]] के लिए, A ∪ B ⊂ U ⇔ A ⊂ U ⊃ B ⇔ A ⊂ ⊃ B.
+: U = [[ब्रह्मांड (गणित)|समष्टि]] के लिए, A ∪ B ⊂ U ⇔ A ⊂ U ⊃ B ⇔ A ⊂ ⊃ B
-अब सेट सदस्यता संबंध और इसके विलोम पर विचार करें।
+अब समुच्चय सदस्यता सम्बन्ध और इसके प्रतिलोम पर विचार करें।
 :<math>A \ni z \in B \Leftrightarrow z \in A \cap B \Leftrightarrow A \cap B \ne \empty.</math>
-इस प्रकार <math>A \ni \in B \Leftrightarrow A \cap B \ne \empty .</math> विपरीत रचना <math>\in \ni</math> सार्वभौम संबंध है।
+इस प्रकार <math>A \ni \in B \Leftrightarrow A \cap B \ne \empty .</math> विपरीत रचना <math>\in \ni</math> सार्वभौम सम्बन्ध है।
-रचनाओं का उपयोग संबंधों को प्रकार के अनुसार वर्गीकृत करने के लिए किया जाता है: एक संबंध क्यू के लिए, जब क्यू की सीमा पर [[पहचान संबंध]] में क्यूटीक्यू होता है, तो क्यू को एकतरफा कहा जाता है। जब Q के डोमेन पर तत्समक संबंध Q QT में निहित होता है, तो Q को कुल कहा जाता है। जब Q एकसंयोजक और कुल दोनों हो तो यह एक फलन है। जब क्यूटी एकतरफा होता है, तो क्यू को इंजेक्शन कहा जाता है। जब QT कुल होता है, तो Q को विशेषण कहा जाता है।<ref>[[Gunther Schmidt]] & Michael Winter (2018) ''Relational Topology'', Springer Lecture Notes in Mathematics #2208, page 8, {{ISBN|978-3-319-74450-6}}</ref>
+रचनाओं का उपयोग सम्बन्धों को प्रकार के अनुसार वर्गीकृत करने के लिए किया जाता है: एक सम्बन्ध ''Q'' के लिए, जब ''Q'' की सीमा पर [[पहचान संबंध|तत्समक सम्बन्ध]] में ''Q''<sup>T</sup>''Q'' होता है, तो ''Q'' को ''एकसंयोजी'' कहलाता है। जब ''Q'' के प्रांत पर तत्समक सम्बन्ध ''Q Q''<sup>T</sup> में निहित होता है, तो ''Q'' को ''पूर्ण'' कहा जाता है। जब ''Q'' एकसंयोजक और पूर्ण दोनों हो तो यह एक ''फलन'' होता है। जब ''Q''<sup>T</sup> एकसंयोजी होता है, तो ''Q'' को ''अंत:क्षेपक'' कहलाता है। जब ''Q''<sup>T</sup> पूर्ण होता है, तो Q को ''विशेषण'' कहलाता है।<ref>[[Gunther Schmidt]] & Michael Winter (2018) ''Relational Topology'', Springer Lecture Notes in Mathematics #2208, page 8, {{ISBN|978-3-319-74450-6}}</ref>
-यदि Q एकसंयोजक है, तो QQT, Q के प्रांत पर एक तुल्यता संबंध है, देखें सकर्मक संबंध#संबंधित गुण।
+यदि ''Q'' एकसंयोजक है, तो ''Q Q''<sup>T</sup>, ''Q'' के प्रांत पर तुल्यता सम्बन्ध है, देखें सकर्मक सम्बन्ध#सम्बन्धित गुण।
 == यह भी देखें ==
@@ Line 78: / Line 79: @@
 * {{Citation|last1=Halmos|first1=Paul R.|author1-link=Paul R. Halmos|title=[[Naive Set Theory (book)|Naive Set Theory]]|isbn=978-0-387-90092-6|year=1974|page=[https://archive.org/details/naivesettheory0000halm_r4g0/page/40 40]}}
-[[Category: गणितीय तर्क]]
-[[Category:द्विआधारी संबंध]]
-[[Category: Machine Translated Page]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
+[[Category:Articles with short description]]
 [[Category:Created On 25/11/2022]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Short description with empty Wikidata description]]
+[[Category:गणितीय तर्क]]
+[[Category:द्विआधारी संबंध]]

Anonymous

Search

विलोम संबंध: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 09:53, 13 December 2022

Contents

उदाहरण

गुण

व्युत्क्रम

किसी फलन का प्रतिलोम-सम्बन्ध

सम्बन्ध के साथ रचना

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

विलोम संबंध: Difference between revisions

Latest revision as of 09:53, 13 December 2022

उदाहरण

गुण

व्युत्क्रम

किसी फलन का प्रतिलोम-सम्बन्ध

सम्बन्ध के साथ रचना

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories