View source for बाइनरी संबंध

{{Short description|Relationship between two sets, defined by a set of ordered pairs}}
{{hatnote|यह लेख उन्नत धारणाओं को समिल्लित करता है। मूलभूत विषयों के लिए, [[संबंध (गणित)]] देखें।}}
{{Binary relations|expanded}}

गणित में, '''द्विआधारी (बाइनरी) सम्बन्ध''' किसी समुच्चय के अवयवों को सम्मिलित करता है, जिसे ''प्रान्त (डोमेन)'' कहा जाता है, तथा किसी अन्य समुच्चय के अवयवों के साथ, ''सहप्रांत (कोडोमेन)'' कहलाता है।<ref>{{Cite web|last=Meyer|first=Albert|date=17 November 2021|title=कंप्यूटर विज्ञान के लिए MIT 6.042J गणित, व्याख्यान 3T, स्लाइड 2|url=https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2015/lecture-slides/MIT6_042JS16_Relations.pdf|url-status=live|archive-url=https://web.archive.org/web/20211117161447/https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2015/lecture-slides/MIT6_042JS16_Relations.pdf |archive-date=2021-11-17 }}</ref> समुच्चय {{mvar|X}} और {{mvar|Y}} पर द्विआधारी सम्बन्ध क्रमित युग्म {{math|(''x'', ''y'')}} का एक नवीन समुच्चय है जिसमें {{mvar|X}} में {{mvar|x}} अवयव और {{mvar|Y}} में {{mvar|y}} अवयव सम्मिलित हैं।<ref name="Codd1970">{{cite journal |last1=Codd |first1=Edgar Frank 
|authorlink=Edgar F. Codd|date=June 1970 |title=बड़े साझा डेटा बैंकों के लिए डेटा का एक संबंधपरक मॉडल|url=https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf |journal=Communications of the ACM |volume=13 |issue=6 |pages=377–387 |doi=10.1145/362384.362685 |s2cid=207549016 |access-date=2020-04-29}}</ref> यह एकल फलन के अधिक व्यापक रूप से समझे जाने वाले विचार का सामान्यीकरण है, परन्तु कम प्रतिबंधों के साथ। यह सम्बन्ध की सामान्य अवधारणा को कूटबद्ध करता है: अवयव {{mvar|x}} एक अवयव {{mvar|y}} से सम्बन्धित है, [[अगर और केवल अगर|यदि और केवल यदि]] युग्म {{math|(''x'', ''y'')}} क्रमित युग्म के समुच्चय से सम्बन्धित है जो ''द्विआधारी सम्बन्ध'' को परिभाषित करता है। द्विआधारी सम्बन्ध समुच्चय {{math|''X''<sub>1</sub>, ..., ''X''<sub>''n''</sub>}} पर  {{mvar|n}}-आर्य सम्बन्ध का सबसे अधिक अध्ययन किया गया विशेष स्थिति {{math|1=''n'' = 2}} है, जो [[कार्तीय गुणन|कार्तीय गुणनफल]] <math>X_1 \times \cdots \times X_n</math> का उपसमुच्चय है।<ref name="Codd1970" />

द्विआधारी सम्बन्ध का एक उदाहरण [[अभाज्य संख्या]] <math>\mathbb{P}</math> के समुच्चय और [[पूर्णांक]] <math>\mathbb{Z}</math> के समुच्चय पर "[[विभाजित]]" सम्बन्ध है, जिसमें प्रत्येक अभाज्य {{mvar|p}} प्रत्येक पूर्णांक {{mvar|z}} से सम्बन्धित है जो कि {{mvar|p}} का गुणज है, परन्तु उस पूर्णांक से नहीं जो {{mvar|p}} का गुणज नहीं है। इस सम्बन्ध में, उदाहरण के लिए, अभाज्य संख्या 2 −4, 0, 6, 10, जैसी संख्याओं से सम्बन्धित है, परन्तु 1 या 9 से नहीं, ठीक वैसे ही जैसे अभाज्य संख्या 3 0, 6 और 9 से सम्बन्धित है, परन्तु 4 या 13 से नहीं।

विभिन्न प्रकार की अवधारणाओं को प्रतिरूपित करने के लिए गणित की कई शाखाओं में द्विआधारी सम्बन्ध का उपयोग किया जाता है। इनमें अन्य के साथ निम्लिखित भी सम्मिलित हैं:
* [[अंकगणित]] में "से बड़ा है", "बराबर है", और "विभाजित" संबंध;
*[[ज्यामिति]] में "[[सर्वांगसमता (ज्यामिति)|के सर्वांगसम]]" संबंध;
*[[ग्राफ सिद्धांत]] में "निकटवर्ती है" संबंध;
* रैखिक बीजगणित में "के [[ओर्थोगोनल|लंबकोणीय]] है" संबंध।

फलन को विशेष प्रकार के द्विआधारी सम्बन्ध के रूप में परिभाषित किया जा सकता है।<ref>{{Cite web|url=https://mathinsight.org/definition/relation|title=संबंध परिभाषा - गणित अंतर्दृष्टि|website=mathinsight.org|access-date=2019-12-11}}</ref> [[कंप्यूटर विज्ञान|संगणक विज्ञान]] में द्विआधारी सम्बन्धों का भी अत्यधिक उपयोग किया जाता है।

समुच्चय {{mvar|X}} और {{mvar|Y}} पर एक द्विआधारी सम्बन्ध <math>X \times Y</math> के [[सत्ता स्थापित|पावर समुच्चय]] का अवयव है। चूँकि अनुवर्ती समुच्चय को [[समावेशन (सेट सिद्धांत)|अंतर्वेशन]] (⊆) द्वारा अनुक्रमित किया जाता है, प्रत्येक सम्बन्ध को <math>X \times Y</math> के उपसमुच्चयों के जालक में स्थान प्राप्त होता है जब X = Y होता है अतः द्विआधारी सम्बन्ध को सजातीय सम्बन्ध कहा जाता है। द्विआधारी सम्बन्ध को विजातीय सम्बन्ध भी कहा जाता है जब यह आवश्यक नहीं है कि X = Y।

चूंकि सम्बन्ध समुच्चय हैं, उन्हें समुच्चय संक्रिया का उपयोग करके जोड़-तोड़ किया जा सकता है, जिसमें [[संघ (सेट सिद्धांत)|संश्रय]], उभयनिष्ठ (इंटरसेक्शन) और [[पूरक (सेट सिद्धांत)|पूरक]] सम्मिलित है, और समुच्चय के बीजगणित के नियमों को संतुष्ट करना। इसके अतिरिक्त, सम्बन्ध के प्रतिलोम और सम्बन्धों के संघटन जैसे संक्रियाएं उपलब्ध हैं, जो सम्बन्धों की कलन के नियमों को संतुष्ट करती हैं, जिसके लिए अर्नस्ट श्रोडर,<ref name="Schroder.1895">[[Ernst Schröder (mathematician)|Ernst Schröder]] (1895) [https://archive.org/details/vorlesungenberd03mlgoog Algebra und Logic der Relative], via [[Internet Archive]]</ref> [[क्लेरेंस लुईस]],<ref name="Lewis.1918">[[C. I. Lewis]] (1918) [https://archive.org/details/asurveyofsymboli00lewiuoft A Survey of Symbolic Logic] , pages 269 to 279, via internet Archive</ref> और [[गुंथर श्मिट]] द्वारा पाठ्यपुस्तकें हैं।<ref name="gs">[[Gunther Schmidt]], 2010. ''Relational Mathematics''. Cambridge University Press, {{ISBN|978-0-521-76268-7}}, Chapt. 5</ref> सम्बन्धों के गहन विश्लेषण में उन्हें अवधारणाओं नामक उपसमुच्चय में विघटित करना और उन्हें एक [[पूर्ण जाली|पूर्ण जालक]] में रखना सम्मिलित है।

[[स्वयंसिद्ध सेट सिद्धांत|स्वयंसिद्ध समुच्चय सिद्धांत]] की कुछ प्रणालियों में, सम्बन्धों को [[वर्ग (गणित)|वर्गों]] तक विस्तारित किया जाता है, जो समुच्चयों का सामान्यीकरण है। रसेल के विरोधाभास जैसे तार्किक विसंगतियों में भाग लिए बिना, अन्य बातों के अतिरिक्त, इस विस्तार की आवश्यकता समुच्चय सिद्धांत में "का एक अवयव है" या "का एक उपसमुच्चय है" की अवधारणाओं को मॉडलिंग करने के लिए है।

संबंध ''समतुल्यता'',<ref>Jacobson, Nathan (2009), [https://books.google.com/books?id=hn75exNZZ-EC&printsec=frontcover#v=onepage&q=correspondence Basic Algebra II (2nd ed.)] §&nbsp;2.1.</ref> '''द्विपदी संबंध''' और '''दो-स्थान सम्बन्ध''' द्विआधारी सम्बन्ध के लिए समानार्थी हैं, हालांकि कुछ लेखक {{mvar|X}} और {{mvar|Y}} के संदर्भ के बिना कार्तीय गुणन <math>X \times Y</math> के किसी भी उपसमूह के लिए "द्विआधारी सम्बन्ध" शब्द का उपयोग करते हैं, और {{mvar|X}} और {{mvar|Y}} के संदर्भ में बाइनरी रिलेशन के लिए "समतुल्यता" शब्द आरक्षित करते हैं।{{citation needed|reason=Who?|date=June 2021}}<!---[[Dyadic relation]]---><!---[[Two-place relation]]--->
== परिभाषा ==
दिए गए समुच्चय ''X'' और ''Y'', कार्तीय गुणनफल <math>X \times Y</math> को <math>\{ (x, y) : x \in X \text{ and } y \in Y \},</math> के रूप में परिभाषित किया गया है और इसके अवयवों को क्रमित युग्म कहा जाता है।

समुच्चय ''X'' और ''Y'' पर द्विआधारी सम्बन्ध ''R'' <math>X \times Y</math><ref name="Codd1970" /><ref>{{harvnb|Enderton|1977|loc=Ch 3. pg. 40}}</ref> का उपसमुच्चय है। समुच्चय ''X'' को ''प्रान्त''<ref name="Codd1970" /> या ''R'' के ''विचलन का समुच्चय'' कहा जाता है, और समुच्चय ''Y'' को सहप्रांत या ''R'' के ''गंतव्य का समुच्चय'' कहा जाता है। समुच्चय ''X'' और ''Y'' के विकल्पों को निर्दिष्ट करने के लिए, कुछ लेखक ''द्विआधारी सम्बन्ध'' या ''समतुल्यता'' को क्रमित ट्रिपल {{math|(''X'', ''Y'', ''G'')}} के रूप में परिभाषित करते हैं, जहां ''G'' <math>X \times Y</math> का एक उपसमुच्चय है जिसे द्विआधारी सम्बन्ध का ''ग्राफ'' कहा जाता है। प्रकथन <math>(x, y) \in R</math> पढ़ता है "''x'' ''R'' से सम्बन्धित है" और ''xRy'' द्वारा चिह्नित किया गया है।<ref name="Schroder.1895"/><ref name="Lewis.1918"/><ref name=gs/>{{#tag:ref|Authors who deal with binary relations only as a special case of ''n''-ary relations for arbitrary ''n'' usually write ''Rxy'' as a special case of ''Rx''<sub>1</sub>...''x''<sub>''n''</sub> ([[Polish notation|prefix notation]]).<ref>{{cite book | issn=1431-4657 | isbn=3540058192 | author=Hans Hermes | title=Introduction to Mathematical Logic | location=London | publisher=Springer | series=Hochschultext (Springer-Verlag) | year=1973 }} Sect.II.§1.1.4</ref>|group=note}} ''परिभाषा-प्रांत'' या ''R'' का ''सक्रिय प्रान्त''<ref name="Codd1970" /> सभी ''x'' का समुच्चय है जैसे कम से कम एक ''y'' के लिए ''xRy''। ''परिभाषा-सहप्रांत'', ''सक्रिय सहप्रांत'',<ref name="Codd1970" /> छवि या ''R'' की श्रेणी सभी ''y'' का समुच्चय है जैसे कम से कम एक ''x'' के लिए ''xRy''। ''R'' का ''क्षेत्र'' इसके परिभाषा-प्रांत और इसके परिभाषा-सहप्रांत का मिलन है।<ref name="suppes">
{{cite book
|title=Axiomatic Set Theory
|last=Suppes
|first=Patrick
|author-link=Patrick Suppes
|publisher=Dover
|year=1972
|orig-year=originally published by D. van Nostrand Company in 1960
|isbn=0-486-61630-4
|url-access=registration
|url=https://archive.org/details/axiomaticsettheo00supp_0
}}
</ref><ref name="smullyan">
{{cite book
|title=Set Theory and the Continuum Problem
|last1=Smullyan
|first1=Raymond M.
|author-link=Raymond Smullyan
|last2=Fitting
|first2=Melvin
|publisher=Dover
|year=2010
|orig-year=revised and corrected republication of the work originally published in 1996 by Oxford University Press, New York
|isbn=978-0-486-47484-7
}}
</ref><ref name="levy">
{{cite book
|title=Basic Set Theory
|last=Levy
|first=Azriel
|author-link=Azriel Levy
|publisher=Dover
|year=2002
|orig-year=republication of the work published by Springer-Verlag, Berlin, Heidelberg and New York in 1979
|isbn=0-486-42079-5
}}
</ref>

जब <math>X = Y,</math> द्विआधारी सम्बन्ध को एक {{em|[[सजातीय संबंध]]}} (या ''अंतःकरण'') कहा जाता है। इस तथ्य पर जोर देने के लिए कि ''X'' और ''Y'' को अलग-अलग होने की अनुमति है, एक द्विआधारी सम्बन्ध को विजातीय सम्बन्ध भी कहा जाता है।<ref name="Schmidt">{{cite book|last1=Schmidt|first1=Gunther|last2=Ströhlein|first2=Thomas|title=संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित|url={{google books |plainurl=y |id=ZgarCAAAQBAJ|paged=277}}|date=2012|publisher=Springer Science & Business Media|isbn=978-3-642-77968-8|author-link1=Gunther Schmidt |at=Definition 4.1.1.}}</ref><ref name="FloudasPardalos2008">{{cite book|author1=Christodoulos A. Floudas|author-link1=Christodoulos Floudas|author2=Panos M. Pardalos|title=अनुकूलन का विश्वकोश|year=2008|publisher=Springer Science & Business Media|isbn=978-0-387-74758-3|pages=299–300|edition=2nd|url=https://books.google.com/books?id=1a6lSRbQ4YsC&q=relation}}</ref><ref name="Winter2007">{{cite book|author=Michael Winter|title=गोगुएन श्रेणियाँ: एल-फ़ज़ी संबंधों के लिए एक स्पष्ट दृष्टिकोण|year=2007|publisher=Springer|isbn=978-1-4020-6164-6|pages=x-xi}}</ref>

द्विआधारी सम्बन्ध में, अवयवों का क्रम महत्वपूर्ण है; यदि <math>x \neq y</math> है तो ''yRx'' ''xRy'' से स्वतंत्र रूप से सत्य या असत्य हो सकता है। उदाहरण के लिए, 3, 9 को विभाजित करता है, परन्तु 9, 3 को विभाजित नहीं करता।

== उदाहरण ==
{| class="wikitable" style="float: right; margin-left:1em; text-align:center;"
|+ द्वितीय उदाहरण सम्बन्ध
! {{diagonal split header|{{math|''B''{{prime}}}}|{{math|''A''}}}}
! scope="col" | बॉल
! scope="col" | कार
! scope="col" | डॉल
! scope="col" | कप
|-
! scope="row" | जॉन 
| '''+''' || − || − || −
|-
! scope="row" | मैरी 
| − || − || '''+''' || −
|-
! scope="row" | वीनस 
| − || '''+''' || − || −
|}
{| class="wikitable" style="float: right; margin-left:1em; text-align:center;"
|+ प्रथम उदाहरण सम्बन्ध
! {{diagonal split header|{{math|''B''}}|{{math|''A''}}}}
! scope="col" | बॉल
! scope="col" | कार
! scope="col" | डॉल
! scope="col" | कप
|-
! scope="row" | जॉन 
| '''+''' || − || − || −
|-
! scope="row" | मैरी 
| − || − || '''+''' || −
|-
! scope="row" | इयान 
| − || − || − || −
|-
! scope="row" | वीनस 
| − || '''+''' || − || −
|}
1) निम्नलिखित उदाहरण से पता चलता है कि सहप्रांत का चयन महत्वपूर्ण है। मान लीजिए कि चार वस्तुएँ <math>A = \{ \text{ball, car, doll, cup} \}</math> और चार लोग <math>B = \{ \text{John, Mary, Ian, Venus} \}</math> हैं। ''A'' और ''B'' पर एक संभावित सम्बन्ध <math>R = \{ (\text{ball, John}), (\text{doll, Mary}), (\text{car, Venus}) \}</math> द्वारा दिया गया सम्बन्ध "के स्वामित्व में है" है। अर्थात, जॉन बॉल का मालिक है, मैरी डॉल का मालिक है, और वीनस कार का मालिक है। कोई भी कप का मालिक नहीं है और इयान के पास कुछ भी नहीं है; प्रथम उदाहरण देखें। एक समुच्चय के रूप में, ''R'' में इयान सम्मिलित नहीं है, और इसलिए ''R'' को <math>A \times \{ \text{John, Mary, Venus} \},</math> के उपसमुच्चय के रूप में देखा जा सकता था, अर्थात ''A'' और <math>\{ \text{John, Mary, Venus} \};</math> पर एक सम्बन्ध, द्वितीय उदाहरण देखें। जबकि द्वितीय उदाहरण सम्बन्ध आच्छादक है (नीचे देखें), पहला नहीं है।

2) मान लीजिए कि A = {भारतीय, आर्कटिक, अटलांटिक, प्रशांत}, विश्व के [[सागर|महासागर]], और B = {एनए, एसए, एएफ, ईयु, एएस, एयु, एए}, [[महाद्वीप]] हैं। माना ''aRb'' उस महासागर को निरूपित करता है जो महाद्वीप b की सीमा बनाता है। तब इस सम्बन्ध के लिए [[तार्किक मैट्रिक्स|तार्किक आव्यूह]] है:

[[File:Oceans and continents coarse.png|thumb|250px|right|महासागर और महाद्वीप (छोड़े गए द्वीप)]]
{|  class="wikitable" style="float: right; margin-left:1em; text-align:center;"
|+महासागर की सीमाएँ महाद्वीप
!
! scope="col" | एनए
! scope="col"      | एसए
! scope="col"            | एएफ
! scope="col"                 | ईयु
! scope="col"                       | एएस
! scope="col"                             | एयु
! scope="col"                                  | एए
|-
! scope="row" | भारतीय
|0||0||1||0||1||1||1
|-  
! scope="row" | आर्कटिक
|1||0||0||1||1||0||0 
|-
! scope="row" | अटलांटिक
|1||1||1||1||0||0||1
|-
! scope="row" | प्रशांत
|1||1||0||0||1||1||1
|}

:<math>R = \begin{pmatrix} 0 & 0 & 1 & 0 & 1 & 1 & 1 \\ 1 & 0 & 0 & 1 & 1 & 0 & 0 \\ 1 & 1 & 1 & 1 & 0 & 0 & 1 \\ 1 & 1 & 0 & 0 & 1 & 1 & 1 \end{pmatrix} .</math>
ग्रह पृथ्वी की संयोजकता को ''R R''<sup>T</sup> और ''R''<sup>T</sup> ''R'' के माध्यम से देखा जा सकता है, पूर्व में ''A'' पर <math>4 \times 4</math> सम्बन्ध है, जो सार्वभौमिक सम्बन्ध (<math>A \times A</math> या सभी का एक तार्किक आव्यूह) है। यह सार्वभौमिक सम्बन्ध इस तथ्य को दर्शाता है कि प्रत्येक महासागर दूसरे महाद्वीपों से अधिक से अधिक एक महाद्वीप से अलग होता है। दूसरी ओर, ''R''<sup>T</sup> ''R'' <math>B \times B</math> पर एक सम्बन्ध है जो सार्वभौमिक होने में ''विफल'' रहता है क्योंकि [[यूरोप]] से [[ऑस्ट्रेलिया]] तक यात्रा करने के लिए कम से कम दो महासागरों की यात्रा करनी चाहिए।

3) सम्बन्धों का चित्रण ग्राफ सिद्धांत पर निर्भर करता है: एक समुच्चय (सजातीय सम्बन्ध) पर सम्बन्धों के लिए, एक [[निर्देशित ग्राफ]] एक सम्बन्ध और एक [[ग्राफ (असतत गणित)|ग्राफ]] एक [[सममित संबंध|सममित सम्बन्ध]] दिखाता है। विजातीय सम्बन्धों के लिए एक [[hypergraph|हाइपरग्राफ]] के किनारे संभवतः दो से अधिक नोड्स के साथ होते हैं, और एक द्विपक्षीय ग्राफ द्वारा चित्रित किया जा सकता है।

जिस प्रकार [[गुट (ग्राफ सिद्धांत)|गुट]] किसी समुच्चय पर सम्बन्धों का अभिन्न अंग है, उसी प्रकार विजातीय सम्बन्धों का वर्णन करने के लिए [[biclique|द्विगुणित]] का उपयोग किया जाता है; वास्तव में, वे "अवधारणाएँ" हैं जो एक सम्बन्ध से जुड़ी एक जालकी उत्पन्न करती हैं।[[File:Add_velocity_ark_POV.svg|right|thumb|200px|विभिन्न ''t'' अक्ष गति में पर्यवेक्षकों के लिए समय का निरूपण करते हैं, सम्बन्धित ''x'' अक्ष उनकी समकालिकता की रेखाएं हैं I]]4) [[हाइपरबोलिक ऑर्थोगोनलिटी|अतिपरवलकीय लम्बकोणीयता]]: समय और स्थान विभिन्न श्रेणियां हैं, और कालगत गुण स्थानिक गुणों से अलग हैं। ''समकालिक घटनाओं'' का विचार निरपेक्ष समय और स्थान में सरल है क्योंकि हर बार ''t'' उस ब्रह्माण्ड विज्ञान में एक साथ होने वाले [[hyperplane|अधिसमतल]] को निर्धारित करता है। [[हरमन मिन्कोव्स्की]] ने इसे बदल दिया जब उन्होंने सापेक्ष समकालिकता की धारणा को व्यक्त किया, जो कि तब उपस्थित होता है जब स्थानिक घटनाएं एक वेग की विशेषता वाले समय के लिए "सामान्य" होती हैं। उन्होंने एक अनिश्चित आंतरिक गुणन का उपयोग किया, और निर्दिष्ट किया कि एक समय सदिश एक सदिश के लिए सामान्य होता है जब वह गुणन शून्य होता है। [[रचना बीजगणित|संघटन बीजगणित]] में अनिश्चित आंतरिक गुणन किसके द्वारा दिया जाता है
:<math><x, z> \ =\ x \bar{z} + \bar{x}z\;</math> जहां ओवरबार संयुग्मन को दर्शाता है।
कुछ लौकिक घटनाओं और कुछ स्थानिक घटनाओं के बीच सम्बन्ध के रूप में, अतिपरवलकीय लम्बकोणीयता (जैसा कि [[विभाजित-जटिल संख्या|विभाजित-समिश्र संख्याओं]] में पाया जाता है) विजातीय सम्बन्ध है।<ref>{{wikibooks-inline|Calculus/Hyperbolic angle#Split-complex theory|Relative simultaneity}}</ref>

5) [[ज्यामितीय विन्यास]] को उसके बिंदुओं और उसकी रेखाओं के बीच के सम्बन्ध के रूप में माना जा सकता है। सम्बन्ध को [[घटना संबंध|घटना]] के रूप में व्यक्त किया जाता है। परिमित और अनंत प्रक्षेपी और एफ़ाइन तल सम्मिलित हैं। [[जैकब स्टेनर]] ने [[स्टेनर प्रणाली]] <math>\text{S}(t, k, n)</math> के साथ विन्यासों की सूची बनाने का बीड़ा उठाया है जिसमें एक एन-एलिमेंट समुच्चय S और के-एलिमेंट उपसमुच्चय का एक समुच्चय है जिसे '''ब्लॉक''' कहा जाता है, जैसे कि टी अवयवों वाला एक उपसमुच्चय केवल एक ब्लॉक में निहित है। इन [[घटना संरचना|आपतन संघटनों]] को [[ब्लॉक डिजाइन|ब्लॉक अभिकल्पनाओं]] के साथ सामान्यीकृत किया गया है। इन ज्यामितीय संदर्भों में प्रयुक्त [[घटना मैट्रिक्स|घटना आव्यूह]] सामान्यतः द्विआधारी सम्बन्धों के साथ उपयोग किए जाने वाले तार्किक आव्यूह से मेल खाती है।
: घटना संघटन एक ट्रिपल '''D''' = (''V'', '''B''', ''I'') है जहां ''V'' और ''B'' कोई भी दो अलग समुच्चय हैं और ''I,'' ''V'' और '''B''' के बीच द्विआधारी सम्बन्ध है, अर्थात <math>I \subseteq V \times \textbf{B}</math>। ''V'' के अवयवों को ''बिंदु'' कहा जाएगा, जो '''B''' के हैं ब्लॉक और ''I'' के फ्लैग्स।<ref>{{cite book|first1=Thomas|last1=Beth|first2=Dieter|last2=Jungnickel|authorlink2=Dieter Jungnickel|first3=Hanfried|last3=Lenz|authorlink3=Hanfried Lenz|title=डिजाइन सिद्धांत|publisher=[[Cambridge University Press]]|page=15|year=1986}}. 2nd ed. (1999) {{ISBN|978-0-521-44432-3}}</ref>
== विशेष प्रकार के द्विआधारी सम्बन्ध ==
<!-- [[functional relation]] redirects to this section -->
[[File:The four types of binary relations.png|thumb|[[वास्तविक संख्या|वास्तविक संख्याओं]] पर चार प्रकार के द्विआधारी सम्बन्धों के उदाहरण: वन-टू-वन (हरे रंग में), वन-टू-मैनी (नीले रंग में), मैनी-टू-वन (लाल रंग में), मैनी-टू-मैनी (काले रंग में) ).]]समुच्चय ''X'' और ''Y'' पर कुछ महत्वपूर्ण प्रकार के द्विआधारी सम्बन्ध ''R'' नीचे सूचीबद्ध हैं।

विशिष्टता गुण:
* '''अंतःक्षेपक''' ('''वाम-विशिष्ट''' भी कहा जाता है):<ref name="kkm">Kilp, Knauer and Mikhalev: p.&nbsp;3. The same four definitions appear in the following:
*{{cite book
 | author1=Peter J. Pahl
 | author2=Rudolf Damrath
 | title=Mathematical Foundations of Computational Engineering: A Handbook
 | year=2001
 | publisher=Springer Science & Business Media|isbn=978-3-540-67995-0
 | page=506
}}
*{{cite book
 | author=Eike Best
 | title=Semantics of Sequential and Parallel Programs
 | author-link=Eike Best
 | year=1996
 | publisher=Prentice Hall
 | isbn=978-0-13-460643-9
 | pages=19–21
}}
*{{cite book
 | author=Robert-Christoph Riemann
 | title=Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus
 | year=1999
 | publisher=Herbert Utz Verlag
 | isbn=978-3-89675-629-9
 | pages=21–22
}}</ref> सभी <math>x, z \in X</math> और सभी <math>y \in Y,</math> के लिए, यदि {{math|''xRy''}} और {{math|''zRy''}} तो {{math|1=''x'' = ''z''}}। ऐसे सम्बन्ध के लिए, {''Y''} को ''R'' की [[प्राथमिक कुंजी|''प्राथमिक कुंजी'']] कहते हैं।<ref name="Codd1970" /> उदाहरण के लिए, आरेख में हरे और नीले रंग के द्विआधारी सम्बन्ध अंतःक्षेपक हैं, परन्तु लाल वाले (क्योंकि यह -1 और 1 से 1 दोनों को सम्बन्धित करता है), और न ही काला वाले है (क्योंकि यह -1 और 1 से 0 दोनों से सम्बन्धित है)।
*प्रकार्यात्मक (जिसे '''राइट-यूनीक''' भी कहा जाता है,<ref name="kkm" /> '''राइट-डेफिनिट'''<ref>{{citation|title=Spatial Information Theory: 8th International Conference, COSIT 2007, Melbourne, Australia, September 19–23, 2007, Proceedings|series=Lecture Notes in Computer Science|publisher=Springer|volume=4736|year=2007|pages=285–302|contribution=Reasoning on Spatial Semantic Integrity Constraints|first=Stephan|last=Mäs|doi=10.1007/978-3-540-74788-8_18}}</ref> या '''अयुग्म (यूनिवेलेंट)'''):<ref name="gs" /> सभी <math>x \in X</math> और सभी <math>y, z \in Y,</math> के लिए, यदि {{math|''xRy''}} और {{math|''xRz''}} तो {{math|1=''y'' = ''z''}}। ऐसे द्विआधारी सम्बन्ध को {{em|[[आंशिक फलन]]}} कहते हैं। ऐसे सम्बन्ध के लिए, <math>\{ X \}</math> को ''R'' की ''प्राथमिक कुंजी'' कहा जाता है।<ref name="Codd1970" /> उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी सम्बन्ध प्रकार्यात्मक हैं, परन्तु नीला वाला (क्योंकि यह 1 को -1 और 1 दोनों से जोड़ता है), और न ही काला वाला है (क्योंकि यह 0 से सम्बन्धित है -1 और 1)।
* '''वन-टू-वन''': अंतःक्षेपक और प्रकार्यात्मक। उदाहरण के लिए, आरेख में हरे रंग का द्विआधारी सम्बन्ध वन-टू-वन है, परन्तु लाल, नीला और काला नहीं है।
* '''वन-टू-मैनी''': अंतःक्षेपक और प्रकार्यात्मक नहीं। उदाहरण के लिए, आरेख में नीला द्विआधारी सम्बन्ध वन-टू-मैनी है, परन्तु लाल, हरे और काले वाले नहीं हैं।
* '''मैनी-टू-वन''': प्रकार्यात्मक और अंतःक्षेपक नहीं। उदाहरण के लिए, आरेख में लाल द्विआधारी सम्बन्ध मैनी-टू-वन है, परन्तु हरे, नीले और काले रंग नहीं हैं।
* '''मैनी-टू-मैनी''': अंतःक्षेपक नहीं और न ही प्रकार्यात्मक। उदाहरण के लिए, आरेख में काला द्विआधारी सम्बन्ध मैनी-टू-मैनी है, परन्तु लाल, हरे और नीले रंग नहीं हैं।

संपूर्णता गुण (केवल प्रान्त X और सहप्रांत Y निर्दिष्ट होने पर ही परिभाषित किया जा सकता है):
* [[कुल संबंध|'''टोटल''']] (जिसे '''वाम-टोटल''' भी कहा जाता है):<ref name="kkm" /> ''X'' में सभी ''x'' के लिए ''Y'' में एक ''y'' उपस्थित है जैसे कि {{math|''xRy''}}। दूसरे शब्दों में, ''R'' की परिभाषा का क्षेत्र ''X'' के बराबर है। यह गुणधर्म गुणधर्मों में संबद्ध (कुछ लेखकों द्वारा टोटल भी कहा जाता है){{citation needed|date=June 2020}} की परिभाषा से भिन्न है। इस तरह के द्विआधारी सम्बन्ध को {{em|[[बहुमान फलन]]}} कहा जाता है। उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी सम्बन्ध टोटल हैं, परन्तु नीला वाला (क्योंकि यह -1 को किसी भी वास्तविक संख्या से सम्बन्धित नहीं करता है), और न ही काला है (क्योंकि यह किसी भी वास्तविक संख्या से 2 को सम्बन्धित नहीं करता है)। एक अन्य उदाहरण के रूप में, > पूर्णांकों पर टोटल सम्बन्ध है। परन्तु यह धनात्मक पूर्णांकों पर टोटल सम्बन्ध नहीं है, क्योंकि धनात्मक पूर्णांकों में ऐसा कोई y नहीं है कि {{math|1 > ''y''}}।<ref>{{cite journal|last = Yao|first = Y.Y.|author2=Wong, S.K.M.|title = विशेषता मानों के बीच संबंधों का उपयोग करते हुए किसी न किसी सेट का सामान्यीकरण|journal = Proceedings of the 2nd Annual Joint Conference on Information Sciences|year = 1995|pages = 30–33|url = http://www2.cs.uregina.ca/~yyao/PAPERS/relation.pdf}}.</ref> हालाँकि, < धनात्मक पूर्णांकों, परिमेय संख्याओं और वास्तविक संख्याओं पर टोटल सम्बन्ध है। प्रत्येक स्वतुल्य सम्बन्ध पूर्ण होता है: किसी दिए गए {{mvar|x}} के लिए, {{math|1=''y'' = ''x''}} चुनें।
*'''आच्छादित''' (जिसे '''राइट-टोटल'''<ref name="kkm" /> या एकाकी भी कहा जाता है): ''Y'' में सभी ''y'' के लिए, ''X'' में एक ''x'' उपस्थित है जैसे ''xRy''। दूसरे शब्दों में, ''R'' की परिभाषा का कोड प्रान्त ''Y'' के बराबर है। उदाहरण के लिए, आरेख में हरे और नीले रंग के द्विआधारी सम्बन्ध विशेषण हैं, परन्तु लाल वाला (क्योंकि यह -1 से किसी भी वास्तविक संख्या को सम्बन्धित नहीं करता है), और न ही काला वाला है (क्योंकि यह किसी वास्तविक संख्या को 2 से सम्बन्धित नहीं करता है)।

विलक्षणता और समग्रता गुण (केवल तभी परिभाषित किया जा सकता है जब प्रान्त ''X'' और सहप्रांत ''Y'' निर्दिष्ट किए गए हों):
* {{em|[[Function (mathematics)|फलन]]}}: द्विआधारी सम्बन्ध जो प्रकार्यात्मक और समग्र है। उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी सम्बन्ध फलन हैं, परन्तु नीले और काले रंग के नहीं हैं।
*{{em|[[Injective function|अंतःक्षेपण]]}}: फलन जो अंतःक्षेपक है। उदाहरण के लिए, आरेख में हरे रंग का द्विआधारी सम्बन्ध एक अंतःक्षेपक है, परन्तु लाल, नीला और काला नहीं है।
* {{em|[[Surjective function|आच्छादान]]}}: फलन जो आच्छादक है। उदाहरण के लिए, आरेख में हरे रंग का द्विआधारी सम्बन्ध एक विशेषण है, परन्तु लाल, नीला और काला नहीं है।
* {{em|[[द्विभाजन]]}}: फलन जो अंतःक्षेपी और विशेषण है। उदाहरण के लिए, आरेख में हरे रंग का द्विआधारी सम्बन्ध एक आक्षेप है, परन्तु लाल, नीला और काला नहीं है।

{{Anchor|set-like-relation}}यदि उचित वर्गों पर सम्बन्धों की अनुमति है:
* '''समुच्चय-लाइक''' (या ''स्थानीय''): {{mvar|x}} में सभी {{mvar|X}} के लिए, {{mvar|y}} में सभी {{mvar|Y}} की वर्ग जैसे कि {{math|''yRx''}}, अर्थात <math>\{y\in Y : yRx\}</math>, एक समुच्चय है। उदाहरण के लिए, सम्बन्ध <math>\in</math> समुच्चय-लाइक है, और दो समुच्चय पर प्रत्येक सम्बन्ध समुच्चय-लाइक है।<ref>{{cite book|title=सेट थ्योरी: इंट्रोडक्शन टू इंडिपेंडेंस प्रूफ|page=102 |url=https://archive.org/details/settheoryintrodu0000kune/page/102/mode/2up|url-access=registration|last1=Kunen |first1=Kenneth|publisher=North-Holland|year=1980|isbn=0-444-85401-0|zbl=0443.03021}}</ref> सामान्य क्रम < [[क्रमसूचक संख्या|क्रमसूचक संख्याओं]] के वर्ग के ऊपर एक समुच्चय जैसा सम्बन्ध होता है, जबकि इसका प्रतिलोम > नहीं होता है।{{citation needed|date=February 2022}}

== द्विआधारी सम्बन्धों पर संक्रिया ==

=== संश्रय ===
<!---This definition should appear before the closure defs, which refer to it:--->
यदि ''R'' और ''S'' समुच्चय ''X'' और ''Y'' पर द्विआधारी सम्बन्ध हैं तो <math>R \cup S = \{ (x, y) : xRy \text{ or } xSy \}</math> ''X'' और ''Y'' पर ''R'' और ''S'' का ''संश्रय सम्बन्ध'' है।

तत्समक अवयव रिक्त सम्बन्ध है। उदाहरण के लिए, <math>\,\leq\,</math> < और = का संश्रय है, और <math>\,\geq\,</math> > और = का संश्रय है।

=== उभयनिष्ठ ===
यदि ''R'' और ''S'' समुच्चय ''X'' और ''Y'' पर द्विआधारी सम्बन्ध हैं तो <math>R \cap S = \{ (x, y) : xRy \text{ and } xSy \}</math> ''X'' और ''Y'' पर ''R'' और ''S'' का ''उभयनिष्ठ सम्बन्ध'' है।

तत्समक अवयव सार्वत्रिक सम्बन्ध है। उदाहरण के लिए, सम्बन्ध "6 से विभाज्य है" "3 से विभाज्य है" और "2 से विभाज्य है" सम्बन्धों का उभयनिष्ठ है।

=== संघटन ===
{{main|संबंधों का संघटन}}

यदि ''R'' समुच्चय ''X'' और ''Y'' पर एक द्विआधारी सम्बन्ध है, और ''S'' समुच्चय ''Y'' और ''Z'' पर एक द्विआधारी सम्बन्ध है तो <math>S \circ R = \{ (x, z) : \text{ there exists } y \in Y \text{ such that } xRy \text{ and } ySz \}</math> (''R'' द्वारा भी निरूपित किया जाता है; ''S'') ''X'' और ''Z'' से अधिक ''R'' और ''S'' का ''संघटन सम्बन्ध'' है।

तत्समक अवयव तत्समक का सम्बन्ध है। अंकन <math>S \circ R,</math> में R और S का क्रम, यहां उपयोग किए गए [[कार्यों की संरचना|फलनों के संघटन]] के लिए मानक अंकन क्रम से सहमत हैं। उदाहरण के लिए, संघटन (की जनक है)<math>\,\circ\,</math>(की माता है) पैदावार (की नानी है), जबकि संघटन (की माता है)<math>\,\circ\,</math>(की जनक है) उपज (की दादी है)। पूर्व स्थिति के लिए, यदि x, y का माता-पिता है और y, z की माता है, तो x, z का दादा-दादी है।

=== प्रतिलोम ===
{{main|प्रतिलोम संबंध}}
{{see also|द्वैत (अनुक्रम सिद्धांत)}}

यदि ''R'' समुच्चय ''X'' और ''Y'' पर एक द्विआधारी सम्बन्ध है तो <math>R^\textsf{T} = \{ (y, x) : xRy \}</math>, ''Y'' और ''X'' पर ''R'' का ''प्रतिलोम सम्बन्ध'' है।

उदाहरण के लिए, = स्वयं का प्रतिलोम है, जैसे <math>\,\neq,\,</math><math>\,<\,</math> तथा <math>\,>\,</math> एक-दूसरे के प्रतिलोम हैं, जैसे <math>\,\leq\,</math> और <math>\,\geq\,</math> हैं। द्विआधारी सम्बन्ध इसके प्रतिलोम के बराबर होता है यदि और केवल यदि यह सममित है।

=== पूरक (कॉम्प्लीमेंट) ===
{{main|पूरक सम्बन्ध}}
यदि R समुच्चय X और Y पर एक द्विआधारी सम्बन्ध है तो <math>\overline{R} = \{ (x, y) : \text{ not } xRy \}</math> (जिसे {{strikethrough|''R''}} या {{math|&not; ''R''}} द्वारा भी निरूपित किया जाता है) X और Y के ऊपर R का ''पूरक सम्बन्ध'' है।

उदाहरण के लिए, <math>\,=\,</math> और <math>\,\neq\,</math> एक दूसरे के पूरक हैं, जैसे <math>\,\subseteq\,</math> और <math>\,\not\subseteq,\,</math> और <math>\,\supseteq\,</math> और <math>\,\not\supseteq,\,</math> और <math>\,\in\,</math> और <math>\,\not\in,\,</math> टोटल अनुक्रम के लिए, < और <math>\,\geq,\,</math> और > और <math>\,\leq\,</math> भी।

प्रतिलोम सम्बन्ध <math>R^\textsf{T}</math> का पूरक पूरक का प्रतिलोम है: <math>\overline{R^\mathsf{T}} = \bar{R}^\mathsf{T}</math>।

यदि <math>X = Y,</math> के पूरक में निम्नलिखित गुण हैं:
* यदि कोई सम्बन्ध सममित है, तो पूरक भी सममित है।
* प्रतिवर्त सम्बन्ध का पूरक अप्रतिवर्ती है—और इसके प्रतिलोम।
* [[सख्त कमजोर आदेश|पूर्णतः अशक्त अनुक्रम]] का पूरक टोटल पूर्व अनुक्रम है - और इसके प्रतिलोम।

=== प्रतिबंध ===
{{main|प्रतिबंध (गणित)}}

यदि ''R'' एक समुच्चय ''X'' पर द्विआधारी [[सजातीय संबंध|सजातीय सम्बन्ध]] है और ''S'', ''X'' का उपसमुच्चय है तो <math>R_{\vert S} = \{ (x, y) \mid xRy \text{ and } x \in S \text{ and } y \in S \}</math>, ''R'' से ''S'' के ऊपर ''X'' का ''प्रतिबंध सम्बन्ध'' है।

यदि R, X और Y के समुच्चय पर द्विआधारी सम्बन्ध है और यदि S, X का एक उपसमुच्चय है तो <math>R_{\vert S} = \{ (x, y) \mid xRy \text{ and } x \in S \}</math> ''X'' और ''Y'' पर ''R'' से ''S'' का ''बायाँ-प्रतिबंध सम्बन्ध'' है। '''[reference missing स्पष्टीकरण की आवश्यकता]'''

यदि ''R'' समुच्चय ''X'' और ''Y'' पर द्विआधारी सम्बन्ध है और यदि S, Y का एक उपसमुच्चय है तो <math>R^{\vert S} = \{ (x, y) \mid xRy \text{ and } y \in S \}</math> ''X'' और ''Y'' पर ''R'' से ''S'' का ''दायाँ-प्रतिबंध सम्बन्ध'' है।

यदि कोई सम्बन्ध प्रतिवर्ती, अप्रतिवर्ती, सममित, [[असममित संबंध|असममित]], असममित, [[सकर्मक संबंध|सकर्मक]], टोटल, त्रिकोटोमस, आंशिक अनुक्रम, टोटल अनुक्रम, पूर्णतः अशक्त अनुक्रम, टोटल पूर्ववर्ती (अशक्त अनुक्रम), या एक [[तुल्यता संबंध|तुल्यता सम्बन्ध]] है, तो उसके प्रतिबंध भी हैं।

हालांकि, एक प्रतिबंध का सकर्मक समापन सकर्मक बंद होने के प्रतिबंध का एक उपसमुच्चय है, अर्थात सामान्य रूप से बराबर नहीं है। उदाहरण के लिए, महिलाओं के लिए "x, y का जनक है" सम्बन्ध को प्रतिबंधित करने से सम्बन्ध "x, महिला y की मां है" उत्पन्न होता है; इसका सकर्मक बंद होना एक महिला को उसकी नानी के साथ नहीं जोड़ता है। दूसरी ओर, "के माता-पिता है" का सकर्मक समापन "का पूर्वज है"; महिलाओं के लिए इसका प्रतिबंध एक महिला को उसकी नानी से सम्बन्धित करता है।

इसके अतिरिक्त, पूर्णता की विभिन्न अवधारणाएं ("टोटल" होने के साथ भ्रमित नहीं होना चाहिए) प्रतिबंधों पर निर्भर नहीं हैं। उदाहरण के लिए, वास्तविक संख्याओं पर सम्बन्ध <math>\,\leq\,</math> की एक संपत्ति यह है कि <math>\R</math> में [[ऊपरी सीमा]] के साथ प्रत्येक अरिक्त उपसमुच्चय <math>S \subseteq \R</math> में <math>\R</math> में सबसे कम ऊपरी सीमा (जिसे सुप्रीमम भी कहा जाता है) है। हालांकि, परिमेय संख्याओं के लिए यह सर्वोच्चता आवश्यक रूप से परिमेय नहीं है, इसलिए समान गुण परिमेय संख्याओं के सम्बन्ध <math>\,\leq\,</math> के प्रतिबंध पर नहीं टिकता है।

<!---This definition is needed by the closure defs, too, but maybe should better given in an earlier section(?):--->
समुच्चय X और Y पर द्विआधारी सम्बन्ध R को X और Y के ऊपर एक सम्बन्ध S में निहित कहा जाता है, जिसे <math>R \subseteq S,</math> लिखा जाता है, यदि R, S का एक उपसमुच्चय है, अर्थात सभी <math>x \in X</math> और <math>y \in Y,</math> के लिए, यदि ''xRy'', तो ''xSy''। यदि R, S में समाहित है और S, R में समाहित है, तो R और S को ''बराबर'' लिखित R = S कहते हैं। यदि R, S में निहित है, परन्तु S, R में समाहित नहीं है, तो R को S से ''छोटा'' कहा जाता है, जिसे <math>R \subsetneq S</math> लिखा जाता है। उदाहरण के लिए, [[परिमेय संख्या|परिमेय संख्याओं]] पर, सम्बन्ध <math>\,>\,</math>, <math>\,\geq,\,</math>से छोटा और संघटन <math>\,>\,\circ\,>\,</math> के बराबर है।
=== आव्यूह निरूपण ===
समुच्चय X और Y पर द्विआधारी सम्बन्धों को X और Y द्वारा अनुक्रमित तार्किक आव्यूह द्वारा [[बूलियन सेमिरिंग]] में प्रविष्टियों के साथ बीजगणितीय रूप से प्रदर्शित किया जा सकता है (योग ऑर के अनुरूप है और गुणा एंड से) जहां [[मैट्रिक्स जोड़|आव्यूह जोड़]] सम्बन्धों के मिलन से मेल खाता है, [[मैट्रिक्स गुणन|आव्यूह गुणन]] सम्बन्धों के संघटन से मेल खाता है (X और Y के ऊपर एक सम्बन्ध और Y और Z के ऊपर एक सम्बन्ध),<ref>{{cite newsgroup |title=कम्यूटेटिव रिग पर क्वांटम यांत्रिकी|author=John C. Baez |author-link=John C. Baez |date=6 Nov 2001 |newsgroup=sci.physics.research |message-id=9s87n0$iv5@gap.cco.caltech.edu |url=https://groups.google.com/d/msg/sci.physics.research/VJNPMCfreao/TMKt9tFYNwEJ |access-date=November 25, 2018}}</ref> [[हैडमार्ड उत्पाद (मैट्रिसेस)|हैडमार्ड गुणन]] सम्बन्धों के उभयनिष्ठ से मेल खाता है, [[शून्य मैट्रिक्स|शून्य आव्यूह]] रिक्त सम्बन्ध से मेल खाता है, और [[लोगों का मैट्रिक्स|लोगों का आव्यूह]] का सार्वभौमिक सम्बन्ध से मेल खाता है। सजातीय सम्बन्ध (जब {{math|1=''X'' = ''Y''}}) एक [[वसा मैट्रिक्स|आव्यूह सेमीरिंग]] बनाते हैं (वास्तव में, बूलियन सेमीरिंग के ऊपर एक [[मैट्रिक्स अर्ध बीजगणित|आव्यूह अर्ध बीजगणित]]) जहां [[पहचान मैट्रिक्स|तत्समक आव्यूह]] तत्समक सम्बन्ध के अनुरूप है।<ref name="droste">Droste, M., & Kuich, W. (2009). Semirings and Formal Power Series. ''Handbook of Weighted Automata'', 3–28. {{doi|10.1007/978-3-642-01492-5_1}}, pp. 7-10</ref>
== समुच्चय बनाम वर्ग ==
कुछ गणितीय "सम्बन्ध", जैसे "बराबर", "उपसमुच्चय", और "सदस्य", को द्विआधारी सम्बन्ध नहीं समझा जा सकता है जैसा कि ऊपर परिभाषित किया गया है, क्योंकि उनके प्रान्त और सहप्रांत को स्वयंसिद्ध समुच्चय सिद्धांत की सामान्य प्रणालियों में समुच्चय नहीं माना जा सकता है। उदाहरण के लिए, "समानता" की सामान्य अवधारणा को एक द्विआधारी सम्बन्ध <math>\,=,</math> के रूप में मॉडल करने के लिए प्रान्त और सहप्रांत को "सभी समुच्चयों का वर्ग" लें, जो सामान्य समुच्चय सिद्धांत में एक समुच्चय नहीं है।

अधिकांश गणितीय संदर्भों में, समानता, सदस्यता और उपसमुच्चय के सम्बन्धों के संदर्भ हानिरहित होते हैं क्योंकि उन्हें संदर्भ में कुछ समुच्चय तक ही सीमित रूप से समझा जा सकता है। इस समस्या का सामान्य वर्क-अराउंड एक "पर्याप्त बड़ा" समुच्चय A का चयन करना है, जिसमें रुचि के सभी ऑब्जेक्ट सम्मिलित हैं, और = के बजाय प्रतिबंध =A के साथ फलन करना है। इसी तरह, सम्बन्ध <math>\,\subseteq\,</math> के "उपसमुच्चय" को प्रान्त और सहप्रांत P(A) (एक विशिष्ट समुच्चय A का पावर समुच्चय) के लिए प्रतिबंधित करने की आवश्यकता है: परिणामी समुच्चय सम्बन्ध को <math>\,\subseteq_A\,</math> द्वारा निरूपित किया जा सकता है। इसके अतिरिक्त, "सदस्य" सम्बन्ध को एक द्विआधारी सम्बन्ध <math>\,\in\,</math> प्राप्त करने के लिए प्रान्त ए और सहप्रांत पी (ए) तक सीमित होना चाहिए जो एक समुच्चय है। बर्ट्रेंड रसेल ने दिखाया है कि <math>\,\in_A\,</math> को सभी समुच्चयों पर परिभाषित करने के लिए सहज समुच्चय सिद्धांत में एक विरोधाभास होता है, ''रसेल के विरोधाभास'' को देखें।

इस समस्या का एक अन्य समाधान [[उचित वर्ग|उचित वर्गों]] के साथ समुच्चय सिद्धांत का उपयोग करना है, जैसे कि एनबीजी या मोर्स-केली समुच्चय सिद्धांत, और प्रान्त और सहप्रांत (और इसलिए ग्राफ़) को उचित वर्ग होने दें: ऐसे सिद्धांत में, समानता, सदस्यता, और उपसमुच्चय बिना किसी विशेष टिप्पणी के द्विआधारी सम्बन्ध हैं। (क्रमित ट्रिपल {{math|(''X'', ''Y'', ''G'')}} की अवधारणा के लिए एक मामूली संशोधन की आवश्यकता है, क्योंकि सामान्यतः एक उचित वर्ग एक क्रमित टपल का सदस्य नहीं हो सकता है; या निश्चित रूप से कोई इस संदर्भ में इसके ग्राफ के साथ द्विआधारी सम्बन्ध की तत्समक कर सकता है।)<ref>{{cite book |title=चर के बिना सेट सिद्धांत की औपचारिकता|last1=Tarski |first1=Alfred |author-link=Alfred Tarski |last2=Givant |first2=Steven |year=1987 |page=[https://archive.org/details/formalizationofs0000tars/page/3 3] |publisher=American Mathematical Society |isbn=0-8218-1041-3 |url=https://archive.org/details/formalizationofs0000tars/page/3 }}</ref> इस परिभाषा के साथ, उदाहरण के लिए, प्रत्येक समुच्चय और उसके पावर समुच्चय पर एक द्विआधारी सम्बन्ध को परिभाषित कर सकते हैं।

== सजातीय सम्बन्ध ==
{{main|सजातीय संबंध}}
<!---keep boldface: [[Homogeneous relation]] redirects to here--->
समुच्चय ''X'' पर एक '''सजातीय सम्बन्ध''' ''X'' और स्वयं पर एक द्विआधारी संबंध है, अर्थात यह कार्तीय गुणनफल <math>X \times X</math> का एक उपसमुच्चय है।<ref name="Winter2007" /><ref name="Müller2012">{{cite book|author=M. E. Müller|title=संबंधपरक ज्ञान की खोज|year=2012|publisher=Cambridge University Press|isbn=978-0-521-19021-3|page=22}}</रेफरी><nowiki><ref name="PahlDamrath2001-p496"></nowiki>{{cite book|author1=Peter J. Pahl|author2=Rudolf Damrath|title=कम्प्यूटेशनल इंजीनियरिंग की गणितीय नींव: एक पुस्तिका|year=2001|publisher=Springer Science & Business Media|isbn=978-3-540-67995-0|page=496}}</ref><ref name="PahlDamrath2001-p496">{{Cite book|last=Peter J. Pahl|title=Mathematical Foundations of Computational Engineering: A Handbook|last2=Rudolf Damrath|publisher=Springer Science & Business Media|year=2001|isbn=978-3-540-67995-0|page=496}}</ref> इसे केवल ''X'' पर एक (द्विआधारी) सम्बन्ध भी कहा जाता है।

समुच्चय ''X'' पर एक सजातीय सम्बन्ध ''R'' को एक निर्देशित सरल ग्राफ अनुमति लूप के साथ तत्समका जा सकता है, जहां ''X'' वर्टेक्स समुच्चय है और ''R'' किनारे का समुच्चय (शीर्ष ''x'' से शीर्ष ''y'' तक एक किनारा है यदि और केवल यदि {{math|''xRy''}}) है। समुच्चय ''X'' पर सभी सजातीय सम्बन्धों का समुच्चय <math>\mathcal{B}(X)</math> पावर समुच्चय <math>2^{X \times X}</math> है जो एक [[बूलियन बीजगणित (संरचना)|बूलियन बीजगणित]] है जो इसके प्रतिलोम सम्बन्ध के सम्बन्ध के मानचित्रण के अंतर्वेशन के साथ बढ़ाया गया है। <math>\mathcal{B}(X)</math> पर एक [[बाइनरी ऑपरेशन|द्विआधारी संक्रिया]] के रूप में सम्बन्धों के संघटन पर विचार करते हुए, यह सम्मिलित होने के साथ एक अर्धसमूह बनाता है।

सजातीय सम्बन्ध के कुछ महत्वपूर्ण गुण {{mvar|R}} एक समुच्चय पर {{mvar|X}} हो सकता है:
* {{em|[[Reflexive relation|स्वतुल्य]]}}: सभी <math>x \in X,</math> {{math|''xRx''}} के लिए। उदाहरण के लिए, <math>\,\geq\,</math> एक प्रतिवर्त सम्बन्ध है परन्तु > नहीं है।
*{{em|[[Irreflexive relation|अस्वतुल्य]]}}: सभी <math>x \in X,</math> के लिए नहीं {{math|''xRx''}}। उदाहरण के लिए, <math>\,>\,</math> एक अपरिवर्तनीय सम्बन्ध है, परन्तु <math>\,\geq\,</math> नहीं है।
* {{em|[[Symmetric relation|सममित]]}}: सभी के लिए <math>x, y \in X,</math> यदि {{math|''xRy''}} तो {{math|''yRx''}}। उदाहरण के लिए, "का रक्त सम्बन्धी है" एक सममित सम्बन्ध है।
* {{em|[[Antisymmetric relation|प्रतिसममित]]}}: सभी <math>x, y \in X,</math> के लिए यदि {{math|''xRy''}} और {{math|''yRx''}} तो <math>x = y</math>। उदाहरण के लिए, <math>\,\geq\,</math> एक एंटीसिमेट्रिक सम्बन्ध है।<ref>{{citation|first1=Douglas|last1=Smith|first2=Maurice|last2=Eggen|first3=Richard|last3=St. Andre|title=A Transition to Advanced Mathematics|edition=6th|publisher=Brooks/Cole|year=2006|isbn=0-534-39900-2|page=160}}</ref>
* {{em|[[Asymmetric relation|असममित]]}}: सभी <math>x, y \in X,</math> के लिए यदि {{math|''xRy''}} है तो {{math|''yRx''}} नहीं है। एक सम्बन्ध असममित होता है यदि और केवल यदि यह असममित और अपरिवर्तनशील दोनों हो।<ref>{{citation|first1=Yves|last1=Nievergelt|title=Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography|publisher=Springer-Verlag|year=2002|page=[https://books.google.com/books?id=_H_nJdagqL8C&pg=PA158 158]}}.</ref> उदाहरण के लिए, > एक असममित सम्बन्ध है, परन्तु <math>\,\geq\,</math> नहीं है।
* {{em|[[Transitive relation|सकर्मक]]}}: सभी <math>x, y, z \in X,</math> के लिए यदि {{math|''xRy''}} और {{math|''yRz''}} तो {{math|''xRz''}}। एक सकर्मक सम्बन्ध अपरिवर्तनीय होता है यदि और केवल यदि यह असममित हो।<ref>{{cite book|last1=Flaška|first1=V.|last2=Ježek|first2=J.|last3=Kepka|first3=T.|last4=Kortelainen|first4=J.|title=बाइनरी रिलेशंस का सकर्मक क्लोजर I|year=2007|publisher=School of Mathematics&nbsp;– Physics Charles University|location=Prague|page=1|url=http://www.karlin.mff.cuni.cz/~jezek/120/transitive1.pdf|url-status=dead|archive-url=https://web.archive.org/web/20131102214049/http://www.karlin.mff.cuni.cz/~jezek/120/transitive1.pdf|archive-date=2013-11-02}} Lemma 1.1 (iv). This source refers to asymmetric relations as "strictly antisymmetric".</ref> उदाहरण के लिए, "का पूर्वज है" एक सकर्मक सम्बन्ध है, जबकि "का माता-पिता है" नहीं है।
* {{em|[[Connected relation|आनुषंगिक (कनेक्टेड)]]}}: सभी <math>x, y \in X,</math> के लिए यदि <math>x \neq y</math> तो {{math|''xRy''}} या {{math|''yRx''}}।
* {{em|[[Connected relation|दृढ़ आनुषंगिक]]}}: सभी <math>x, y \in X,</math> {{math|''xRy''}} या {{math|''yRx''}} के लिए।
*{{Em|[[Dense_order#Generalizations|सघन]]}}: सभी <math>x, y \in X,</math> के लिए यदि <math>xRy ,</math> है, तो कुछ <math>z \in X</math> ऐसे मौजूद हैं कि <math>xRz</math> और <math>{\displaystyle zRy}</math> हैं।

{{em|[[Partially ordered set#Formal definition|आंशिक अनुक्रम]]}} एक ऐसा सम्बन्ध है जो प्रतिवर्त, प्रतिसममित और सकर्मक होता है। {{em|[[Partially ordered set#Correspondence of strict and non-strict partial order relations|पूर्णतः आंशिक अनुक्रम]]}} एक ऐसा सम्बन्ध है जो अप्रतिवर्ती, प्रतिसममित और सकर्मक होता है। {{em|[[कुल क्रम]]}} एक ऐसा सम्बन्ध है जो प्रतिवर्ती, प्रतिसममित, संक्रामक और जुड़ा हुआ है।<ref>Joseph G. Rosenstein, ''Linear orderings'', Academic Press, 1982, {{ISBN|0-12-597680-1}}, p.&nbsp;4</ref> {{em|[[Total order#Strict total order|पूर्णतः टोटल अनुक्रम]]}} एक ऐसा सम्बन्ध है जो अप्रतिवर्ती, प्रतिसममित, संक्रामक और जुड़ा हुआ है। एक {{em|[[तुल्यता संबंध]]}} एक ऐसा सम्बन्ध है जो प्रतिवर्ती, सममित और सकर्मक है। उदाहरण के लिए, "x विभाजित करता है y" एक आंशिक है, परन्तु [[प्राकृतिक संख्या]] <math>\N,</math> पर टोटल क्रम नहीं "x < y" <math>\N,</math> पर एक पूर्णतः टोटल अनुक्रम है और "x y के समानांतर है" [[यूक्लिडियन विमान|यूक्लिडियन तल]] में सभी रेखाओं के समुच्चय पर एक समानता सम्बन्ध है।

अनुभाग में परिभाषित सभी संक्रिया द्विआधारी सम्बन्धों पर संक्रिया भी सजातीय सम्बन्धों पर लागू होते हैं। इसके अतिरिक्त, एक समुच्चय X पर एक सजातीय सम्बन्ध को क्लोजर संक्रिया के अधीन किया जा सकता है जैसे:
; {{em|[[स्वतुल्य संवरण]]}}: X युक्त R पर सबसे छोटा स्वतुल्य सम्बन्ध,
; {{em|[[संक्रमणीय संवरण]]}}: R युक्त X पर सबसे छोटा सकर्मक सम्बन्ध,
; {{em|[[समतुल्य संवरण]]}}: R युक्त X पर सबसे छोटा समतुल्य सम्बन्ध।

== विजातीय सम्बन्ध ==
गणित में, '''विजातीय सम्बन्ध''' एक द्विआधारी सम्बन्ध है, जो कार्तीय गुणन <math>A \times B,</math> का [[सबसेट|उपसमुच्चय]] है जहां A और B संभवतः भिन्न समुच्चय हैं।<ref name="Schmidt p.77" /> उपसर्ग हेटेरो ग्रीक ἕτερος (''विजातीयलैंगिक'', "अन्य, अन्य, भिन्न") से है।

विजातीय सम्बन्ध को एक '''आयताकार सम्बन्ध''' कहा गया है,<ref name="Winter2007"/> यह सुझाव देते हुए कि इसमें एक समुच्चय पर समरूप सम्बन्ध का वर्ग-समरूपता नहीं है जहां <math>A = B</math>। सजातीय सम्बन्धों से परे द्विआधारी सम्बन्धों के विकास पर टिप्पणी करते हुए, शोधकर्ताओं ने लिखा, "... सिद्धांत का एक प्रकार विकसित हुआ है जो सम्बन्धों को शुरुआत से ही ''विजातीय'' या ''आयताकार'' मानता है, अर्थात सम्बन्धों के रूप में जहां सामान्य स्थिति यह है कि वे अलग-अलग समुच्चयों के बीच सम्बन्ध हैं।"<ref>G. Schmidt, Claudia Haltensperger, and Michael Winter (1997) "Heterogeneous relation algebra", chapter 3 (pages 37 to 53) in ''Relational Methods in Computer Science'', Advances in Computer Science, [[Springer books]] {{ISBN|3-211-82971-7}}</ref>

== सम्बन्धों की गणना ==
[[बीजगणितीय तर्क|बीजगणितीय तर्कशास्त्र]] में विकास ने द्विआधारी सम्बन्धों के उपयोग को सुगम बनाया है। सम्बन्धों की गणना में समुच्चयों का बीजगणित सम्मिलित है, सम्बन्धों के संघटन और प्रतिलोम सम्बन्धों के उपयोग द्वारा विस्तारित। अंतर्वेशन <math>R \subseteq S,</math> का अर्थ है कि ''aRb'' का तात्पर्य ''aSb'' से है, जो सम्बन्धों के [[जाली (आदेश सिद्धांत)|जालक]] में दृश्य को समुच्चय करता है। परन्तु <math>P \subseteq Q \equiv (P \cap \bar{Q} = \varnothing ) \equiv (P \cap Q = P),</math> के बाद से सम्मिलित किए जाने का प्रतीक अनावश्यक है। फिर भी, श्रोडर नियमों के अनुसार संक्रियकों के सम्बन्धों और हेरफेर के संघटन, <math>A \times B</math> की शक्ति समुच्चय में काम करने के लिए एक कलन प्रदान करती है।
समरूप सम्बन्धों के प्रतिलोम, सम्बन्धों के संक्रिया के संघटन केवल एक आंशिक फलन है। रचित सम्बन्धों के प्रान्त के लिए सीमा के मिलान की आवश्यकता ने सुझाव दिया है कि विजातीय सम्बन्धों का अध्ययन [[श्रेणी सिद्धांत]] का एक अध्याय है, जैसा कि [[सेट की श्रेणी|समुच्चय की श्रेणी]] में होता है, सिवाय इसके कि इस श्रेणी के आकारिकी सम्बन्ध हैं। रेल श्रेणी के ''ऑब्जेक्ट'' समुच्चय होते हैं, और सम्बन्ध-रूपवाद एक [[श्रेणी (गणित)|श्रेणी]] में आवश्यक रूप से बनते हैं।{{citation needed|reason=Who has suggested this, when, and where?|date=June 2021}}

== प्रेरित अवधारणा जालक ==
द्विआधारी सम्बन्धों को उनकी प्रेरित [[अवधारणा जाली|अवधारणा जालक]] के माध्यम से वर्णित किया गया है: '''अवधारणा''' C ⊂ R दो गुणों को संतुष्ट करती है: (1) ''C'' का तार्किक आव्यूह तार्किक सदिश का [[बाहरी उत्पाद|बाह्य गुणनफल]] है
:<math>C_{i j} \ = \ u_i v_j , \quad u, v</math> तार्किक सदिश।{{clarify|reason=Given R, how are the logical vectors obtained?|date=June 2021}} (2) ''C'' अधिकतम है, किसी अन्य बाहरी गुणन में निहित नहीं है। इस प्रकार ''C'' को एक गैर-विस्तार योग्य आयत के रूप में वर्णित किया गया है।

किसी दिए गए सम्बन्ध <math>R \subseteq X \times Y,</math> के लिए, अवधारणाओं का समुच्चय, उनके जुड़ने और मिलने से बढ़ा हुआ, एक "अवधारणाओं का प्रेरित जालक" बनाता है, जिसमें <math>\sqsubseteq</math> को सम्मिलित करने से एक [[पूर्व आदेश|पूर्व अनुक्रम]] बनता है।

मैकनीले पूर्णता प्रमेय (1937) (कि किसी भी आंशिक क्रम को एक पूर्ण जालकी में एम्बेड किया जा सकता है) को 2013 के एक सर्वेक्षण लेख "अवधारणा जालकी पर सम्बन्धों का विघटन" में उद्धृत किया गया है।<ref>[[R. Berghammer]] & M. Winter (2013) "Decomposition of relations on concept lattices", [[Fundamenta Informaticae]] 126(1): 37–82 {{doi|10.3233/FI-2013-871}}</ref> अपघटन होता है
:<math>R \ = \ f \ E \ g^\textsf{T} ,</math> जहां ''f'' और ''g'' फलन हैं, जिन्हें इस संदर्भ में ''प्रतिचित्रण'' या बाएं-टोटल, असमान सम्बन्ध कहा जाता है। "प्रेरित अवधारणा जालकी आंशिक अनुक्रम ''E'' के कट पूर्णता के लिए आइसोमोर्फिक है जो सम्बन्ध ''R'' के न्यूनतम अपघटन (''f, g, E'') से सम्बन्धित है।"

विशेष मामलों पर नीचे विचार किया गया है: ''E'' टोटल अनुक्रम फेरर्स प्रकार से मेल खाता है, और ''E'' तत्समक अलग-अलग, एक समुच्चय पर समानता सम्बन्ध का एक सामान्यीकरण से मेल खाती है।

सम्बन्धों को '''स्कीन रैंक''' द्वारा रैंक किया जा सकता है जो एक सम्बन्ध को कवर करने के लिए आवश्यक अवधारणाओं की संख्या की गणना करता है।<ref>Ki Hang Kim (1982) ''Boolean Matrix Theory and Applications'', page 37, [[Marcel Dekker]] {{ISBN|0-8247-1788-0}}</ref> अवधारणाओं के साथ सम्बन्धों का संघटनत्मक विश्लेषण डाटा माइनिंग के लिए एक दृष्टिकोण प्रदान करता है।<ref>Ali Jaoua, Rehab Duwairi, Samir Elloumi, and Sadok Ben Yahia (2009) "Data mining, reasoning and incremental information retrieval through non enlargeable rectangular relation coverage", pages 199 to 210 in ''Relations and Kleene algebras in computer science'', [[Lecture Notes in Computer Science]] 5827, Springer {{mr|id=2781235}}</ref>
== विशेष सम्बन्ध ==

* प्रस्ताव: यदि ''R'' एक क्रमिक सम्बन्ध है और RT इसका स्थानांतरण है, तो <math>I \subseteq R^\textsf{T} R</math> जहां <math>I</math> ''m × m'' तत्समक सम्बन्ध है।
*तर्कवाक्य: यदि ''R'' एक [[विशेषण संबंध|विशेषण सम्बन्ध]] है, तो <math>I \subseteq R R^\textsf{T}</math> जहां <math>I</math> <math>n \times n</math> तत्समक सम्बन्ध है।

=== द्विक्रियात्मक (डाईफंक्शनल) ===
तुल्यता सम्बन्ध की अवधारणा के सामान्यीकरण के रूप में, भिन्नात्मक सम्बन्धों का विचार अलग-अलग विशेषताओं द्वारा वस्तुओं को विभाजित करना है। एक तरीका यह किया जा सकता है [[संकेतक (अनुसंधान)|संकेतक]] के बीच के समुच्चय <math>Z = \{ x, y, z, \ldots \}</math> के साथ। विभाजन सम्बन्ध <math>R = F G^\textsf{T}</math>, ''अयुग्म'' सम्बन्धों <math>F \subseteq A \times Z \text{ and } G \subseteq B \times Z</math> का उपयोग करते हुए सम्बन्धों की एक संघटन है। [[जैक्स रिगुएट]] ने इन सम्बन्धों को '''द्विक्रियात्मक''' नाम दिया है क्योंकि संघटन F GT में असमान सम्बन्ध सम्मिलित हैं, जिन्हें सामान्यतः आंशिक फलन कहा जाता है।

1950 में रिगुट ने दिखाया कि ऐसे सम्बन्ध अंतर्वेशन को संतुष्ट करते हैं:<ref>{{cite journal |last1=Riguet |first1=Jacques|author-link=Jacques Riguet|journal=Comptes rendus |date=January 1950 |url=https://gallica.bnf.fr/ark:/12148/bpt6k3182n/f2001.item |language=fr|title=विविध संबंधों के कुछ गुण|volume=230|pages=1999–2000}}</ref><math display="block">R \ R^\textsf{T} \ R \ \subseteq \ R</math>[[ऑटोमेटा सिद्धांत]] में, '''आयताकार सम्बन्ध''' शब्द का उपयोग, भिन्नात्मक सम्बन्ध को निरूपित करने के लिए भी किया गया है। यह शब्दावली इस तथ्य की याद दिलाती है कि, जब तार्किक आव्यूह के रूप में प्रस्तुत किया जाता है, तो एक द्विक्रियात्मक सम्बन्ध के स्तंभों और पंक्तियों को [[ब्लॉक मैट्रिक्स|ब्लॉक आव्यूह]] के रूप में व्यवस्थित किया जा सकता है, जिसमें (असममित) मुख्य विकर्ण पर आयताकार ब्लॉक होते हैं।<ref name="Büchi1989">{{cite book|author=Julius Richard Büchi|title=परिमित ऑटोमेटा, उनके बीजगणित और व्याकरण: औपचारिक अभिव्यक्तियों के सिद्धांत की ओर|year=1989|publisher=Springer Science & Business Media|isbn=978-1-4613-8853-1|pages=35–37|author-link=Julius Richard Büchi}}</ref> अधिक औपचारिक रूप से, <math>X \times Y</math> पर सम्बन्ध <math>R</math> क्रियात्मक है, यदि और केवल यदि इसे कार्तीय गुणनों <math>A_i \times B_i</math> के संश्रय के रूप में लिखा जा सकता है, जहां <math>A_i</math> <math>X</math> के उपसमुच्चय का विभाजन है और <math>B_i</math> इसी तरह <math>Y</math> के उपसमुच्चय का विभाजन है।<ref>{{cite journal |last1=East |first1=James |last2=Vernitski |first2=Alexei |title=द्विकार्यात्मक द्विआधारी संबंधों के प्रतिलोम अर्धसमूहों में आदर्शों की श्रेणी|journal=Semigroup Forum |date=February 2018 |volume=96 |issue=1 |pages=21–30 |doi=10.1007/s00233-017-9846-9|arxiv=1612.04935|s2cid=54527913 }}</ref>

संकेतन {''y: xRy''} = ''xR'' का उपयोग करते हुए, एक द्विभाजित सम्बन्ध को एक सम्बन्ध ''R'' के रूप में भी चित्रित किया जा सकता है जैसे कि जहां कहीं भी ''x''<sub>1</sub>''R'' और ''x''<sub>2</sub>''R'' में एक अरिक्त चौराहा है, तो ये दो समुच्चय मेल खाते हैं; औपचारिक रूप से <math>x_1 \cap x_2 \neq \varnothing</math> का मतलब <math>x_1 R = x_2 R</math> होता है।<ref name="BrinkKahl1997">{{cite book|author1=Chris Brink|author2=Wolfram Kahl|author3=Gunther Schmidt|title=कंप्यूटर विज्ञान में संबंधपरक तरीके|year=1997|publisher=Springer Science & Business Media|isbn=978-3-211-82971-4|page=200}}</ref>

1997 में शोधकर्ताओं ने "[[डेटाबेस]] प्रबंधन में विविध निर्भरताओं पर आधारित द्विआधारी अपघटन की उपयोगिता" को पाया।<ref>Ali Jaoua, Nadin Belkhiter, Habib Ounalli, and Theodore Moukam (1997) "Databases", pages 197–210 in ''Relational Methods in Computer Science'', edited by Chris Brink, Wolfram Kahl, and [[Gunther Schmidt]], [[Springer Science & Business Media]] {{isbn|978-3-211-82971-4}}</ref> इसके अतिरिक्त, [[bisimulation|बिसिमुलेशन]] के अध्ययन में विविधात्मक सम्बन्ध मौलिक हैं।<ref>{{Cite book | doi = 10.1007/978-3-662-44124-4_7
| chapter = Coalgebraic Simulations and Congruences| title = कंप्यूटर विज्ञान में कोलजेब्रिक तरीके| volume = 8446| pages = 118| series = [[Lecture Notes in Computer Science]]| year = 2014| last1 = Gumm | first1 = H. P. | last2 = Zarrad | first2 = M. | isbn = 978-3-662-44123-7}}</ref>

सजातीय सम्बन्धों के संदर्भ में, एक [[आंशिक तुल्यता संबंध|आंशिक तुल्यता सम्बन्ध]] भिन्नात्मक होता है।
===फेरर्स प्रकार ===
समुच्चय पर एक [[सख्त आदेश|पूर्णतः अनुक्रम]] अनुक्रम सिद्धांत में उत्पन्न होने वाला सजातीय सम्बन्ध है। 1951 में जैक्स रिगुएट ने पूर्णांक के [[विभाजन (संख्या सिद्धांत)|विभाजन]] के क्रम को अपनाया, जिसे [[फेरर्स आरेख]] कहा जाता है, ताकि सामान्य रूप से द्विआधारी सम्बन्धों के क्रम का विस्तार किया जा सके।<ref>J. Riguet (1951) "Les relations de Ferrers", [[Comptes Rendus]] 232: 1729,30</ref>

सामान्य द्विआधारी सम्बन्ध के सम्बन्धित तार्किक आव्यूह में पंक्तियाँ होती हैं जो एक के अनुक्रम के साथ समाप्त होती हैं। इस प्रकार फेरर के आरेख के बिंदुओं को बदल दिया जाता है और आव्यूह में दाईं ओर संरेखित किया जाता है।
फेरर्स प्रकार के सम्बन्ध R के लिए आवश्यक एक बीजीय कथन है<math display="block">R \bar{R}^\textsf{T} R \subseteq R.</math>

यदि कोई एक सम्बन्ध <math>R, \ \bar{R}, \ R^\textsf{T}</math> फेरर्स प्रकार का है, तो वे सभी हैं।
<ref name="Schmidt p.77">{{cite book|last1=Schmidt|first1=Gunther|last2=Ströhlein|first2=Thomas|title=संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित|url={{google books |plainurl=y |id=ZgarCAAAQBAJ|paged=277}}|date=2012|publisher=Springer Science & Business Media|isbn=978-3-642-77968-8|authorlink1=Gunther Schmidt |page=77}}</ref>

=== संपर्क ===
मान लीजिए ''B'', ''A'' का पावर समुच्चय है, ''A'' के सभी उपसमुच्चयों का समुच्चय। फिर सम्बन्ध ''g'' '''संपर्क सम्बन्ध''' है यदि यह तीन गुणों को संतुष्ट करता है:
# <math>\text{for all } x \in A, Y = \{ x \} \text{ implies } xgY.</math>
# <math>Y \subseteq Z \text{ and } xgY \text{ implies } xgZ.</math>
# <math>\text{for all } y \in Y, ygZ \text{ and } xgY \text{ implies } xgZ.</math>
समुच्चय सदस्यता सम्बन्ध, ε = "का एक अवयव है", इन गुणों को संतुष्ट करता है इसलिए ε एक संपर्क सम्बन्ध है। 1970 में [[जॉर्ज ऑमन]] द्वारा एक सामान्य संपर्क सम्बन्ध की धारणा पेश की गई थी।<ref>{{cite journal | url=https://www.zobodat.at/publikation_volumes.php?id=56359 | author=Georg Aumann | title=संपर्क संबंध| journal=Sitzungsberichte der mathematisch-physikalischen Klasse der Bayerischen Akademie der Wissenschaften München | volume=1970 | number=II | pages=67&ndash;77 | year=1971 }}</ref><ref>Anne K. Steiner (1970) [https://mathscinet.ams.org/mathscinet-getitem?mr=0309040 Review:''Kontakt-Relationen''] from [[Mathematical Reviews]]</ref>
सम्बन्धों की गणना के संदर्भ में संपर्क सम्बन्ध के लिए पर्याप्त संबंध सम्मिलित हैं<math display="block">C^\textsf{T} \bar{C} \ \subseteq \ \ni \bar{C} \ \ \equiv \ C \ \overline{\ni \bar{C}} \ \subseteq \ C,</math>जहाँ <math>\ni</math> समुच्चय सदस्यता (∈) का प्रतिलोम है।<ref name="GS11">[[Gunther Schmidt]] (2011) ''Relational Mathematics'', pages 211−15, [[Cambridge University Press]] {{ISBN|978-0-521-76268-7}}</ref>{{rp|280}}

== प्राग्क्रम (प्रीऑर्डर) R\R ==
प्रत्येक सम्बन्ध ''R'' पूर्व-अनुक्रम <math>R \backslash R</math> उत्पन्न करता है जो बायां अवशिष्ट है।<ref>In this context, the symbol <math>\,\backslash\,</math> does not mean "[[set difference]]".</ref> प्रतिलोम और पूरक के स्थिति में, <math>R \backslash R \ \equiv \ \overline{R^\textsf{T} \bar{R}}</math>। <math>R^\textsf{T} \bar{R}</math> का विकर्ण बनाना, <math>R^{\text{T}}</math> की संगत पंक्ति और <math>\bar{R}</math> का स्तंभ प्रतिलोम तार्किक मानों का होगा, इसलिए विकर्ण सभी शून्य है। फिर
:<math>R^\textsf{T} \bar{R} \subseteq \bar{I} \ \implies \  I \subseteq \overline{R^\textsf{T} \bar{R}} \ = \ R \backslash R ,</math> ताकि <math>R \backslash R</math> प्रतिवर्त सम्बन्ध है।

सकर्मक सम्बन्ध दिखाने के लिए, इसकी आवश्यकता होती है <math>(R\backslash R)(R\backslash R) \subseteq R \backslash R.</math> याद करें कि <math>X = R \backslash R</math> सबसे बड़ा सम्बन्ध ऐसा है <math>R X \subseteq R.</math> फिर
:<math>R(R\backslash R) \subseteq R</math>
:<math>R(R\backslash R) (R\backslash R )\subseteq R</math> (दोहराना)
:<math>\equiv R^\textsf{T} \bar{R} \subseteq \overline{(R \backslash R)(R \backslash R)}</math> (श्रोडर का नियम)
:<math>\equiv (R \backslash R)(R \backslash R) \subseteq \overline{R^\textsf{T} \bar{R}}</math> (पूरक)
:<math>\equiv (R \backslash R)(R \backslash R) \subseteq R \backslash R.</math> (परिभाषा)

''U'' के पावर समुच्चय पर अंतर्वेशन (समुच्चय सिद्धांत) सम्बन्ध Ω [[तत्व (गणित)|अवयव (गणित)]] से इस तरह प्राप्त किया जा सकता है <math>\,\in\,</math> U के उपसमुच्चय पर:
:<math>\Omega \ = \ \overline{\ni \bar{\in}} \ = \ \in \backslash \in .</math><ref name=GS11/>{{rp|283}}
== सम्बन्ध की सीमांत (फ्रिंज) ==
सम्बन्ध R दिया गया है, उप-सम्बन्ध जिसे उसकी ''सीमांत'' कहा जाता है, को इस प्रकार परिभाषित किया जाता है<math display="block">\operatorname{fringe}(R) = R \cap \overline{R \bar{R}^\textsf{T} R}.</math>जब R एक आंशिक तत्समक सम्बन्ध, द्विक्रियात्मक, या एक ब्लॉक विकर्ण सम्बन्ध है, तो सीमांत(''R'') = ''R''। अन्यथा सीमांत संक्रियक अपने तार्किक आव्यूह के संदर्भ में वर्णित एक सीमा उप-सम्बन्ध का चयन करता है: सीमांत (आर) साइड विकर्ण है यदि R एक ऊपरी दायां त्रिकोणीय [[रैखिक क्रम]] या पूर्णतः क्रम है। सीमांत (''R'') ब्लॉक सीमांत है यदि ''R'' अपरिवर्तनीय (<math>R \subseteq \bar{I}</math>) या ऊपरी दायां ब्लॉक त्रिभुज है। सीमांत(''R'') सीमा आयतों का एक क्रम है जब ''R'' फेरर्स प्रकार का है।

दूसरी ओर, सीमांत(''R'') = ∅ जब ''R'' [[सघन क्रम|सघन]], रैखिक, पूर्णतः अनुक्रम है।<ref name="GS11" />
== गणितीय संग्रह (हीप) ==
{{main|संग्रह (गणित)}}

दो समुच्चय ''A'' और ''B'' दिए गए हैं, उनके बीच द्विआधारी सम्बन्धों का समुच्चय <math>\mathcal{B}(A,B)</math> एक [[टर्नरी ऑपरेशन|टर्नरी संक्रिया]] <math>[a, \ b,\ c] \ = \ a b^\textsf{T} c</math> से सुसज्जित हो सकता है जहां बीटी ''b'' के प्रतिलोम सम्बन्ध को दर्शाता है। 1953 में [[विक्टर वैगनर]] ने सेमीसंग्रह्स, संग्रह्स और सामान्यीकृत संग्रह्स को परिभाषित करने के लिए इस टर्नरी संक्रिया के गुणों का उपयोग किया।<ref>[[Viktor Wagner]] (1953) "The theory of generalised heaps and generalised groups", [[Matematicheskii Sbornik]] 32(74): 545 to 632 {{mr|id=0059267}}</ref><ref>C.D. Hollings & M.V. Lawson (2017) ''Wagner's Theory of Generalised Heaps'', [[Springer books]] {{ISBN|978-3-319-63620-7}} {{mr|id=3729305}}</ref> विजातीय और सजातीय सम्बन्धों के प्रतिलोम इन परिभाषाओं द्वारा उजागर किया गया है:
{{Blockquote
|text=वैगनर के काम में ढेर, अर्ध-ढेर और सामान्यीकृत ढेर के बीच एक सुखद समरूपता है, और दूसरी ओर समूह, अर्ध-समूह और सामान्यीकृत समूह। अनिवार्य रूप से, जब भी हम ''विभिन्न'' सेट ''A'' और ''B'' के बीच द्विआधारी संबंधों (और आंशिक एक-एक मैपिंग) पर विचार करते हैं, तो विभिन्न प्रकार के सेमीहिप्स दिखाई देते हैं, जबकि विभिन्न प्रकार के सेमिग्रुप उस मामले में प्रकट होते हैं जहां ''A'' = ''B''।
|author=क्रिस्टोफर हॉलिंग्स
|title="आयरन कर्टन के पार गणित: सेमीग्रुप के बीजीय सिद्धांत का इतिहास"<ref>Christopher Hollings (2014) ''Mathematics across the Iron Curtain: a history of the algebraic theory of semigroups'', page 265, History of Mathematics 41, [[American Mathematical Society]] {{ISBN|978-1-4704-1493-1}}</ref>
}}
== यह भी देखें ==
{{div col}}
* [[सार पुनर्लेखन प्रणाली]]
* योज्य संबंध, मॉड्यूल के बीच एक बहु-मूल्यवान समरूपता
* [[रूपक (श्रेणी सिद्धांत)]]
* संबंधों की श्रेणी, वस्तुओं के रूप में सेट वाली श्रेणी और आकारिकी के रूप में द्विआधारी संबंध
* संगम (शब्द पुनर्लेखन), द्विआधारी संबंधों के कई असामान्य लेकिन मौलिक गुणों पर चर्चा करता है
* [[पत्राचार (बीजीय ज्यामिति)]], बीजगणितीय समीकरणों द्वारा परिभाषित एक द्विआधारी संबंध
* [[हस्स आरेख]], एक ग्राफिक का मतलब ऑर्डर संबंध प्रदर्शित करना है
* घटना संरचना, बिंदुओं और रेखाओं के सेट के बीच एक विषम संबंध
* [[रिश्तेदारों का तर्क]], चार्ल्स सैंडर्स पियर्स द्वारा संबंधों का एक सिद्धांत
* आदेश सिद्धांत, आदेश संबंधों के गुणों की जांच करता है
{{colend}}

== टिप्पणियाँ ==
{{reflist|group=note}}

== संदर्भ ==
{{reflist}}


== ग्रन्थसूची ==
* {{cite book|last1=Schmidt|first1=Gunther|last2=Ströhlein|first2=Thomas|title=Relations and Graphs: Discrete Mathematics for Computer Scientists|chapter-url={{google books |plainurl=y |id=ZgarCAAAQBAJ|paged=54}}|date=2012|chapter=Chapter 3: Heterogeneous relations|publisher=Springer Science & Business Media|isbn=978-3-642-77968-8|authorlink1=Gunther Schmidt}}
* [[Ernst Schröder (mathematician)|Ernst Schröder]] (1895) [https://archive.org/details/vorlesungenberd03mlgoog Algebra der Logik, Band III], via [[Internet Archive]]
* {{cite book |last=Codd |first=Edgar Frank |author-link=Edgar F. Codd |date=1990 |title=The Relational Model for Database Management: Version 2 |url=https://codeblab.com/wp-content/uploads/2009/12/rmdb-codd.pdf |archive-url=https://ghostarchive.org/archive/20221009/https://codeblab.com/wp-content/uploads/2009/12/rmdb-codd.pdf |archive-date=2022-10-09 |url-status=live |location=Boston |publisher=[[Addison-Wesley]] |isbn=978-0201141924}}
* {{cite book |last=Enderton |first=Herbert |author-link=Herbert Enderton |date=1977 |title=Elements of Set Theory |location=Boston |publisher=[[Academic Press]] |isbn=978-0-12-238440-0}}
* {{cite book |last1=Kilp |first1=Mati |last2=Knauer |first2=Ulrich |last3=Mikhalev |first3=Alexander |date=2000 |title=Monoids, Acts and Categories: with Applications to Wreath Products and Graphs |location=Berlin |publisher=[[Walter de Gruyter|De Gruyter]] |isbn=978-3-11-015248-7}}
* {{cite journal |last=Peirce |first=Charles Sanders |author-link=Charles Sanders Peirce |date=1873 |title=Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic |url= https://archive.org/details/descriptionanot00peirgoog/mode/2up |journal=Memoirs of the American Academy of Arts and Sciences |volume=9 |issue=2 |pages=317–178 |doi= 10.2307/25058006|jstor=25058006 |bibcode=1873MAAAS...9..317P |hdl=2027/hvd.32044019561034 |access-date=2020-05-05|hdl-access=free }}
* {{cite book |last=Schmidt |first=Gunther |author-link=Gunther Schmidt |date=2010 |title=Relational Mathematics |url=https://books.google.com/books?id=E4dREBTs5WsC |location=Cambridge |publisher=[[Cambridge University Press]] |isbn=978-0-521-76268-7}}


== बाहरी सम्बन्ध ==
* {{commons category-inline|Binary relations}}
* {{springer|title=Binary relation|id=p/b016380}}

{{DEFAULTSORT:Binary Relation}}

[[Category:All articles with unsourced statements|Binary Relation]]
[[Category:Articles with hatnote templates targeting a nonexistent page|Binary Relation]]
[[Category:Articles with invalid date parameter in template|Binary Relation]]
[[Category:Articles with short description|Binary Relation]]
[[Category:Articles with unsourced statements from February 2022|Binary Relation]]
[[Category:Articles with unsourced statements from June 2020|Binary Relation]]
[[Category:Articles with unsourced statements from June 2021|Binary Relation]]
[[Category:CS1 français-language sources (fr)|Binary Relation]]
[[Category:CS1 maint]]
[[Category:CS1 Ελληνικά-language sources (el)]]
[[Category:Citation Style 1 templates|W]]
[[Category:Collapse templates]]
[[Category:Commons category link is locally defined|Binary Relation]]
[[Category:Created On 25/11/2022|Binary Relation]]
[[Category:Lua-based templates|Binary Relation]]
[[Category:Machine Translated Page|Binary Relation]]
[[Category:Mathematics sidebar templates|Binary Relation]]
[[Category:Multi-column templates|Binary Relation]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages using div col with small parameter|Binary Relation]]
[[Category:Pages with script errors|Binary Relation]]
[[Category:Short description with empty Wikidata description|Binary Relation]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready|Binary Relation]]
[[Category:Templates based on the Citation/CS1 Lua module]]
[[Category:Templates generating COinS|Cite web]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category|Binary Relation]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates used by AutoWikiBrowser|Cite web]]
[[Category:Templates using TemplateData|Binary Relation]]
[[Category:Templates using under-protected Lua modules|Binary Relation]]
[[Category:Wikipedia articles needing clarification from June 2021|Binary Relation]]
[[Category:Wikipedia fully protected templates|Div col]]
[[Category:Wikipedia metatemplates]]