बाइनरी संबंध

गणित में, एक द्विआधारी संबंध एक सेट के तत्वों को जोड़ता है, जिसे डोमेन कहा जाता है, दूसरे सेट के तत्वों के साथ, कोडोमेन कहलाता है। सेट $X$ और $Y$ पर एक द्विआधारी संबंध आदेशित जोड़े $(x, y)$ का एक नया सेट है जिसमें $x$ में $X$ और $y$ में $Y$ शामिल हैं। यह एक एकल कार्य के अधिक व्यापक रूप से समझे जाने वाले विचार का सामान्यीकरण है, लेकिन कम प्रतिबंधों के साथ। यह संबंध की सामान्य अवधारणा को कूटबद्ध करता है: एक तत्व $x$ एक तत्व $y$ से संबंधित है, अगर और केवल अगर जोड़ी $(x, y)$ आदेशित जोड़े के सेट से संबंधित है जो बाइनरी संबंध को परिभाषित करता है। एक द्विआधारी संबंध सेट $X_{1}, ..., X_{n}$ पर एक $n$-आर्य संबंध का सबसे अधिक अध्ययन किया गया विशेष मामला $n = 2$ है, जो कार्तीय गुणनफल $$X_1 \times \cdots \times X_n$$ का एक उपसमुच्चय है।

द्विआधारी संबंध का एक उदाहरण अभाज्य संख्या 11 के सेट और पूर्णांक 22 के सेट पर "विभाजित" संबंध है, जिसमें प्रत्येक अभाज्य p प्रत्येक पूर्णांक z से संबंधित है जो कि p का गुणज है, लेकिन उस पूर्णांक से नहीं जो p का गुणज नहीं है। इस संबंध में, उदाहरण के लिए, अभाज्य संख्या 2 -11 जैसी संख्याओं से संबंधित है, लेकिन 1 या 9 से नहीं, ठीक वैसे ही जैसे अभाज्य संख्या 3 0, 6 और 9 से संबंधित है, लेकिन 4 या 13 से नहीं।

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

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

एक फलन (गणित) को एक विशेष प्रकार के द्विआधारी संबंध के रूप में परिभाषित किया जा सकता है। कंप्यूटर विज्ञान में द्विआधारी संबंधों का भी अत्यधिक उपयोग किया जाता है।

सेट पर एक द्विआधारी संबंध $X$ तथा $Y$ के सत्ता स्थापित का एक तत्व है $$X \times Y.$$ चूंकि बाद वाले सेट को समावेशन (सेट सिद्धांत) (⊆) द्वारा आदेशित किया गया है, प्रत्येक संबंध में सबसेट के जाली (क्रम) में एक स्थान है $$X \times Y.$$ X = Y होने पर एक द्विआधारी संबंध को #समरूप संबंध कहा जाता है। एक द्विआधारी संबंध को एक विषम संबंध भी कहा जाता है जब यह आवश्यक नहीं है कि X = Y।

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

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

शर्तें, युग्मक संबंध और दो जगह संबंध द्विआधारी संबंध के पर्यायवाची हैं, हालांकि कुछ लेखक कार्टेशियन उत्पाद के किसी भी सबसेट के लिए द्विआधारी संबंध शब्द का उपयोग करते हैं $$X \times Y$$ के संदर्भ के बिना $X$ तथा $Y$, और संदर्भ के साथ एक द्विआधारी संबंध के लिए शब्द पत्राचार आरक्षित करें $X$ तथा $Y$.

परिभाषा
दिए गए समुच्चय X और Y, कार्तीय गुणनफल $$X \times Y$$ की तरह परिभाषित किया गया है $$\{ (x, y) : x \in X \text{ and } y \in Y \},$$ और इसके तत्वों को क्रमित युग्म कहा जाता है।

ए R ओवर सेट X और Y का एक उपसमुच्चय है $$X \times Y.$$ समुच्चय X कहलाता है  या  आर का, और सेट वाई  या  R का। सेट X और Y के विकल्पों को निर्दिष्ट करने के लिए, कुछ लेखक परिभाषित करते हैं  या  एक आदेशित ट्रिपल के रूप में $(X, Y, G)$, जहां G का उपसमुच्चय है $$X \times Y$$ इसको कॉल किया गया  द्विआधारी संबंध का। कथन $$(x, y) \in R$$ पढ़ता है कि x, R से संबंधित है और इसे xRy द्वारा निरूपित किया जाता है।     }} या  R का सभी x का ऐसा समुच्चय है कि कम से कम एक y के लिए xRy है। परिभाषा का कोडोमेन,,  या  का R सभी y का ऐसा समुच्चय है कि xRy कम से कम एक x के लिए।  R का }} परिभाषा के अपने डोमेन और परिभाषा के कोडोमेन का संघ है। कब $$X = Y,$$ एक द्विआधारी संबंध कहा जाता है (या ). इस तथ्य पर जोर देने के लिए कि X और Y को भिन्न होने की अनुमति है, एक द्विआधारी संबंध को एक विषम संबंध भी कहा जाता है। एक द्विआधारी संबंध में, तत्वों का क्रम महत्वपूर्ण होता है; यदि $$x \neq y$$ तब yRx, xRy से स्वतंत्र होकर सत्य या असत्य हो सकता है। उदाहरण के लिए, 3 9 को विभाजित करता है, लेकिन 9 3 को विभाजित नहीं करता है।

उदाहरण
1) निम्नलिखित उदाहरण से पता चलता है कि कोडोमेन का चुनाव महत्वपूर्ण है। मान लीजिए कि चार वस्तुएं हैं $$A = \{ \text{ball, car, doll, cup} \}$$ और चार लोग $$B = \{ \text{John, Mary, Ian, Venus} \}.$$ ए और बी पर एक संभावित संबंध, द्वारा दिया गया संबंध है $$R = \{ (\text{ball, John}), (\text{doll, Mary}), (\text{car, Venus}) \}.$$ यही है, जॉन गेंद का मालिक है, मैरी गुड़िया का मालिक है, और वीनस कार का मालिक है। किसी के पास कप नहीं है और इयान के पास कुछ भी नहीं है; पहला उदाहरण देखें। एक समुच्चय के रूप में, R में इयान शामिल नहीं है, और इसलिए R को एक उपसमुच्चय के रूप में देखा जा सकता था $$A \times \{ \text{John, Mary, Venus} \},$$ यानी ए और से अधिक संबंध $$\{ \text{John, Mary, Venus} \};$$ दूसरा उदाहरण देखें। जबकि दूसरा उदाहरण संबंध विशेषण है (#विशेष प्रकार के द्विआधारी संबंध देखें), पहला नहीं है।

2) माना A = {भारतीय, आर्कटिक, अटलांटिक, प्रशांत}, विश्व के महासागर, और B = {NA, SA, AF, EU, AS, AU, AA}, महाद्वीप। मान लीजिए aRb उस महासागर को निरूपित करता है जिसकी सीमा महाद्वीप b है। तब इस संबंध के लिए तार्किक मैट्रिक्स है:
 * $$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} .$$

आर आर के माध्यम से पृथ्वी ग्रह की संयोजकता को देखा जा सकता हैटी और आर टी आर, पूर्व एक है $$4 \times 4$$ ए पर संबंध, जो सार्वभौमिक संबंध है ($$A \times A$$ या सभी का तार्किक मैट्रिक्स)। यह सार्वभौमिक संबंध इस तथ्य को दर्शाता है कि प्रत्येक महासागर दूसरे महाद्वीपों से अधिक से अधिक एक महाद्वीप से अलग होता है। दूसरी ओर, आरT R पर संबंध है $$B \times B$$ जो सार्वभौमिक होने में विफल रहता है क्योंकि यूरोप से ऑस्ट्रेलिया तक यात्रा करने के लिए कम से कम दो महासागरों को पार करना पड़ता है।

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

जिस तरह गुट (ग्राफ सिद्धांत) एक सेट पर संबंधों का अभिन्न अंग है, उसी तरह विषम संबंधों का वर्णन करने के लिए biclique का उपयोग किया जाता है; वास्तव में, वे ऐसी अवधारणाएँ हैं जो एक संबंध से जुड़ी एक जाली उत्पन्न करती हैं। 4) हाइपरबोलिक ऑर्थोगोनलिटी: समय और स्थान अलग-अलग श्रेणियां हैं, और अस्थायी गुण स्थानिक गुणों से अलग हैं। के विचार निरपेक्ष समय और स्थान में सरल है क्योंकि हर बार t उस ब्रह्माण्ड विज्ञान में एक साथ hyperplane निर्धारित करता है। हरमन मिन्कोव्स्की ने इसे बदल दिया जब उन्होंने की धारणा को व्यक्त किया, जो तब मौजूद होता है जब स्थानिक घटनाएँ एक वेग की विशेषता वाले समय के लिए सामान्य होती हैं। उन्होंने एक अनिश्चित आंतरिक उत्पाद का उपयोग किया, और निर्दिष्ट किया कि एक समय वेक्टर एक अंतरिक्ष वेक्टर के लिए सामान्य होता है जब वह उत्पाद शून्य होता है। रचना बीजगणित में अनिश्चित आंतरिक उत्पाद किसके द्वारा दिया जाता है
 * $$ \ =\ x \bar{z} + \bar{x}z\;$$ जहां ओवरबार संयुग्मन को दर्शाता है।

कुछ लौकिक घटनाओं और कुछ स्थानिक घटनाओं के बीच संबंध के रूप में, अतिशयोक्तिपूर्ण रूढ़िवादिता (जैसा कि विभाजित-जटिल संख्याओं में पाया जाता है) एक विषम संबंध है। 5) एक ज्यामितीय विन्यास को उसके बिंदुओं और उसकी रेखाओं के बीच संबंध माना जा सकता है। संबंध को घटना संबंध के रूप में व्यक्त किया जाता है। परिमित और अनंत प्रोजेक्टिव और एफ़िन प्लेन शामिल हैं। जैकब स्टेनर ने स्टेनर प्रणाली के साथ विन्यासों की सूची बनाने का बीड़ा उठाया $$\text{S}(t, k, n)$$ जिसमें एक n-एलिमेंट सेट S और k-एलिमेंट सबसेट का एक सेट होता है जिसे 'ब्लॉक' कहा जाता है, जैसे कि t एलिमेंट वाला सबसेट सिर्फ एक ब्लॉक में होता है। इन घटना संरचनाओं को ब्लॉक डिजाइनों के साथ सामान्यीकृत किया गया है। इन ज्यामितीय संदर्भों में प्रयुक्त घटना मैट्रिक्स आमतौर पर द्विआधारी संबंधों के साथ उपयोग किए जाने वाले तार्किक मैट्रिक्स से मेल खाती है।
 * एक घटना संरचना एक ट्रिपल 'डी' = (वी, 'बी', आई) है जहां वी और 'बी' दो अलग-अलग सेट हैं और मैं वी और 'बी' के बीच एक द्विआधारी संबंध है, यानी। $$I \subseteq V \times \textbf{B}.$$ V के अवयव कहलायेंगे, बी ब्लॉक वाले और वो.

विशेष प्रकार के द्विआधारी संबंध
सेट X और Y पर कुछ महत्वपूर्ण प्रकार के बाइनरी संबंध R नीचे सूचीबद्ध हैं।

विशिष्टता गुण:
 * 'इंजेक्शन' (जिसे वाम-अद्वितीय भी कहा जाता है): सभी के लिए $$x, z \in X$$ और सभी $$y \in Y,$$ यदि $B$ तथा $A$ फिर $B$. ऐसे संबंध के लिए, {Y} को R की प्राथमिक कुंजी कहा जाता है। उदाहरण के लिए, आरेख में हरे और नीले द्विआधारी संबंध इंजेक्शन हैं, लेकिन लाल वाला नहीं है (क्योंकि यह -1 और 1 से 1 दोनों से संबंधित है), न ही काला वाला (क्योंकि यह -1 और 1 से 0 दोनों से संबंधित है).
 * कार्यात्मक (जिसे सही-अद्वितीय भी कहा जाता है, सही-निश्चित या असंबद्ध): सभी के लिए $$x \in X$$ और सभी $$y, z \in Y,$$ यदि $A$ तथा $xRy$ फिर $zRy$. इस तरह के बाइनरी रिलेशन को कहा जाता है . ऐसे रिश्ते के लिए, $$\{ X \}$$ कहा जाता है आर का उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी संबंध कार्यात्मक हैं, लेकिन नीला वाला नहीं है (क्योंकि यह 1 से -1 और 1 दोनों से संबंधित है), न ही काला वाला (क्योंकि यह 0 से -1 और 1 दोनों से संबंधित है).
 * एक से एक: इंजेक्शन और कार्यात्मक। उदाहरण के लिए, आरेख में हरा बाइनरी संबंध एक-से-एक है, लेकिन लाल, नीला और काला नहीं है।
 * कई लोगों के लिए एक: इंजेक्शन और कार्यात्मक नहीं। उदाहरण के लिए, आरेख में नीला बाइनरी संबंध एक-से-कई है, लेकिन लाल, हरा और काला नहीं है।
 * कई-से-एक: कार्यात्मक और इंजेक्शन नहीं। उदाहरण के लिए, आरेख में लाल बाइनरी संबंध कई-से-एक है, लेकिन हरा, नीला और काला नहीं है।
 * कई कई: इंजेक्शन नहीं और न ही कार्यात्मक। उदाहरण के लिए, आरेख में काला बाइनरी संबंध कई-से-अनेक है, लेकिन लाल, हरा और नीला नहीं है।

संपूर्णता गुण (केवल तभी परिभाषित किया जा सकता है जब डोमेन X और कोडोमेन Y निर्दिष्ट हों):
 * 'कुल संबंध' (जिसे 'वाम-कुल' भी कहा जाता है): एक्स में सभी एक्स के लिए वाई में वाई मौजूद है जैसे कि $x = z$. दूसरे शब्दों में, R की परिभाषा का प्रांत X के बराबर है। यह गुण, की परिभाषा से भिन्न है (यह भी कहा जाता है  कुछ लेखकों द्वारा) सजातीय संबंध # गुण में। इस तरह के बाइनरी रिलेशन को कहा जाता है . उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी संबंध कुल हैं, लेकिन नीला वाला नहीं है (क्योंकि यह -1 को किसी वास्तविक संख्या से संबंधित नहीं करता है), और न ही काला वाला (क्योंकि यह 2 को किसी वास्तविक संख्या से संबंधित नहीं करता है) ). एक अन्य उदाहरण के रूप में, > पूर्णांकों पर कुल संबंध है। लेकिन यह धनात्मक पूर्णांकों पर कुल संबंध नहीं है, क्योंकि ऐसा नहीं है $y$ सकारात्मक पूर्णांकों में जैसे कि $xRy$. हालाँकि, < सकारात्मक पूर्णांकों, परिमेय संख्याओं और वास्तविक संख्याओं पर कुल संबंध है। हर रिफ्लेक्सिव रिलेशन टोटल है: दिए गए के लिए $x$, चुनें $xRz$.
 * विशेषण (जिसे राइट-टोटल भी कहा जाता है या पर): Y में सभी y के लिए, X में एक x मौजूद है जैसे कि xRy। दूसरे शब्दों में, R की परिभाषा का कोडोमेन Y के बराबर है। उदाहरण के लिए, आरेख में हरे और नीले रंग के बाइनरी संबंध विशेषण हैं, लेकिन लाल नहीं है (क्योंकि यह किसी वास्तविक संख्या को -1 से संबंधित नहीं करता है), न ही काला वाला (क्योंकि यह किसी भी वास्तविक संख्या को 2 से संबंधित नहीं करता है)।

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

यदि उचित वर्गों पर संबंधों की अनुमति है:
 * सेट की तरह (या ): सभी के लिए $x$ में $X$, सभी का वर्ग (सेट सिद्धांत)। $y$ में $Y$ ऐसा है कि $y = z$, अर्थात। $$\{y\in Y : yRx\}$$, एक समुच्चय है। उदाहरण के लिए, संबंध $$\in$$ सेट-लाइक है, और दो सेट पर हर संबंध सेट-लाइक है। सामान्य क्रम < क्रमसूचक संख्याओं के वर्ग के ऊपर एक समुच्चय जैसा संबंध है, जबकि इसका व्युत्क्रम > नहीं है।

संघ
यदि आर और एस सेट एक्स और वाई पर द्विआधारी संबंध हैं तो $$R \cup S = \{ (x, y) : xRy \text{ or } xSy \}$$ है X और Y के ऊपर R और S का।

पहचान तत्व खाली संबंध है। उदाहरण के लिए, $$\,\leq\,$$ < और = का मिलन है, और $$\,\geq\,$$ > और = का मिलन है।

चौराहा
यदि आर और एस सेट एक्स और वाई पर द्विआधारी संबंध हैं तो $$R \cap S = \{ (x, y) : xRy \text{ and } xSy \}$$ है X और Y के ऊपर R और S का।

पहचान तत्व सार्वभौमिक संबंध है। उदाहरण के लिए, संबंध 6 से विभाज्य है संबंधों का प्रतिच्छेदन 3 से विभाज्य है और 2 से विभाज्य है।

रचना
यदि R सेट X और Y पर एक बाइनरी संबंध है, और S सेट Y और Z पर एक बाइनरी संबंध है तो $$S \circ R = \{ (x, z) : \text{ there exists } y \in Y \text{ such that } xRy \text{ and } ySz \}$$ (द्वारा भी दर्शाया गया है $xRy$) है X और Z के ऊपर R और S का।

पहचान तत्व पहचान संबंध है। अंकन में R और S का क्रम $$S \circ R,$$ यहाँ प्रयुक्त कार्यों की संरचना के लिए मानक अंकन क्रम से सहमत हैं। उदाहरण के लिए, रचना (का जनक है)$$\,\circ\,$$(की माँ है) पैदावार (की नानी है), जबकि रचना (की माँ है)$$\,\circ\,$$(की जनक है) उपज (की दादी है)। पूर्व मामले के लिए, यदि x, y का माता-पिता है और y, z की माता है, तो x, z का नाना-नानी है।

विपरीत
यदि R सेट X और Y पर एक बाइनरी संबंध है तो $$R^\textsf{T} = \{ (y, x) : xRy \}$$ है Y और X के ऊपर R का।

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

पूरक
यदि R सेट X और Y पर एक बाइनरी संबंध है तो $$\overline{R} = \{ (x, y) : \text{ not } xRy \}$$ (द्वारा भी दर्शाया गया है R या $1 > y$) है X और Y के ऊपर R का।

उदाहरण के लिए, $$\,=\,$$ तथा $$\,\neq\,$$ एक दूसरे के पूरक हैं, जैसे हैं $$\,\subseteq\,$$ तथा $$\,\not\subseteq,\,$$ $$\,\supseteq\,$$ तथा $$\,\not\supseteq,\,$$ तथा $$\,\in\,$$ तथा $$\,\not\in,\,$$ और, कुल ऑर्डर के लिए भी < और $$\,\geq,\,$$ और > और $$\,\leq.\,$$ विलोम संबंध का पूरक $$R^\textsf{T}$$ पूरक का विलोम है: $$\overline{R^\mathsf{T}} = \bar{R}^\mathsf{T}.$$ यदि $$X = Y,$$ पूरक में निम्नलिखित गुण होते हैं:
 * यदि कोई संबंध सममित है, तो पूरक भी सममित है।
 * एक प्रतिवर्त संबंध का पूरक अप्रतिवर्ती है—और इसके विपरीत।
 * एक सख्त कमजोर आदेश का पूरक कुल पूर्व आदेश है - और इसके विपरीत।

प्रतिबंध
यदि R एक समुच्चय X पर एक द्विआधारी सजातीय संबंध है और S, X का एक उपसमुच्चय है तो $$R_{\vert S} = \{ (x, y) \mid xRy \text{ and } x \in S \text{ and } y \in S \}$$ है R से S ओवर X.

यदि R सेट X और Y पर एक द्विआधारी संबंध है और यदि S, X का एक उपसमुच्चय है तो $$R_{\vert S} = \{ (x, y) \mid xRy \text{ and } x \in S \}$$ है R से S ओवर X और Y।

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

यदि कोई संबंध प्रतिवर्ती संबंध, अप्रतिवर्ती, सममित संबंध, प्रतिसममित संबंध, असममित संबंध, सकर्मक संबंध, क्रमिक संबंध, त्रिकोटॉमी (गणित), एक आंशिक क्रम, कुल आदेश, सख्त कमजोर आदेश, सख्त कमजोर आदेश # कुल पूर्व आदेश (कमजोर क्रम) है, या एक तुल्यता संबंध, तो भी इसके प्रतिबंध हैं।

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

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

एक बाइनरी रिलेशन R ओवर सेट X और Y कहा जाता है X और Y पर एक संबंध S लिखा है $$R \subseteq S,$$ यदि R, S का उपसमुच्चय है, अर्थात सभी के लिए $$x \in X$$ तथा $$y \in Y,$$ अगर xRy, तो xSy। यदि R, S में समाहित है और S, R में समाहित है, तो R और S कहलाते हैं  लिखित आर = एस। यदि आर एस में निहित है लेकिन एस आर में निहित नहीं है, तो आर कहा जाता है  S से, लिखा हुआ $$R \subsetneq S.$$ उदाहरण के लिए, परिमेय संख्याओं पर, संबंध $$\,>\,$$ की तुलना में छोटा है $$\,\geq,\,$$ और रचना के बराबर $$\,>\,\circ\,>.\,$$

मैट्रिक्स प्रतिनिधित्व
सेट एक्स और वाई पर द्विआधारी संबंधों को एक्स और वाई द्वारा अनुक्रमित लॉजिकल मैट्रिक्स द्वारा बूलियन सेमिरिंग में प्रविष्टियों के साथ बीजगणितीय रूप से प्रदर्शित किया जा सकता है (इसके अलावा OR और गुणन से संबंधित है) जहां मैट्रिक्स जोड़ संबंधों के संघ से मेल खाता है, मैट्रिक्स गुणन की संरचना से मेल खाता है संबंध (X और Y पर संबंध और Y और Z पर संबंध), हैडमार्ड उत्पाद (मैट्रिसेस) संबंधों के प्रतिच्छेदन से मेल खाता है, शून्य मैट्रिक्स खाली संबंध से मेल खाता है, और लोगों का मैट्रिक्स सार्वभौमिक संबंध से मेल खाता है। सजातीय संबंध (जब $y = x$) एक वसा मैट्रिक्स (वास्तव में, बूलियन सेमीरिंग पर एक मैट्रिक्स अर्ध बीजगणित) बनाते हैं जहां पहचान मैट्रिक्स पहचान संबंध से मेल खाती है।

सेट बनाम कक्षाएं
कुछ गणितीय संबंध, जैसे कि बराबर, उपसमुच्चय, और सदस्य, को ऊपर परिभाषित बाइनरी संबंधों के रूप में नहीं समझा जा सकता है, क्योंकि उनके डोमेन और कोडोमेन को स्वयंसिद्ध सेट सिद्धांत की सामान्य प्रणालियों में सेट नहीं किया जा सकता है। उदाहरण के लिए, समानता की सामान्य अवधारणा को एक द्विआधारी संबंध के रूप में मॉडल करना $$\,=,$$ डोमेन और कोडोमेन को सभी सेटों का वर्ग मानें, जो सामान्य सेट सिद्धांत में सेट नहीं है।

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

इस समस्या का एक अन्य समाधान उचित वर्गों के साथ एक सेट सिद्धांत का उपयोग करना है, जैसे वॉन न्यूमैन-बर्नेज़-गोडेल सेट सिद्धांत या मोर्स-केली सेट सिद्धांत, और डोमेन और कोडोमेन (और इसलिए ग्राफ) को उचित वर्ग होने दें: ऐसा सिद्धांत, समानता, सदस्यता और उपसमुच्चय बिना किसी विशेष टिप्पणी के द्विआधारी संबंध हैं। (आदेशित ट्रिपल की अवधारणा में मामूली संशोधन करने की आवश्यकता है $yRx$, जैसा कि आम तौर पर एक उचित वर्ग एक आदेशित टपल का सदस्य नहीं हो सकता है; या बेशक कोई इस संदर्भ में अपने ग्राफ के साथ द्विआधारी संबंध की पहचान कर सकता है।) इस परिभाषा के साथ उदाहरण के लिए, प्रत्येक सेट और उसके पावर सेट पर एक द्विआधारी संबंध को परिभाषित किया जा सकता है।

सजातीय संबंध
एक सजातीय संबंध एक समुच्चय पर X, X और स्वयं के ऊपर एक द्विआधारी संबंध है, अर्थात यह कार्तीय गुणनफल का एक उपसमुच्चय है $$X \times X.$$ इसे एक्स पर एक (बाइनरी) संबंध भी कहा जाता है।

एक सेट एक्स पर एक सजातीय संबंध आर को ग्राफ सिद्धांत # निर्देशित ग्राफ के साथ पहचाना जा सकता है, जहां एक्स वर्टेक्स सेट है और आर एज सेट है (एक वर्टेक्स एक्स से एक वर्टेक्स वाई तक एक किनारा है और केवल अगर $R; S$). सभी सजातीय संबंधों का सेट $$\mathcal{B}(X)$$ एक सेट पर X पावर सेट है $$2^{X \times X}$$ जो एक बूलियन बीजगणित (संरचना) है जो इसके विपरीत संबंध के संबंध के मानचित्रण के समावेशन (गणित) के साथ संवर्धित है। संबंधों की संरचना को एक बाइनरी ऑपरेशन के रूप में देखते हुए $$\mathcal{B}(X)$$, यह समावेशन के साथ एक अर्धसमूह बनाता है।

सजातीय संबंध के कुछ महत्वपूर्ण गुण $R$ एक सेट पर $X$ हो सकता है:
 * : सभी के लिए $$x \in X,$$ $&not; R$. उदाहरण के लिए, $$\,\geq\,$$ स्वतुल्य संबंध है लेकिन > नहीं है।
 * : सभी के लिए $$x \in X,$$ नहीं $X = Y$. उदाहरण के लिए, $$\,>\,$$ एक अप्रासंगिक संबंध है, लेकिन $$\,\geq\,$$ नहीं है।
 * : सभी के लिए $$x, y \in X,$$ यदि $(X, Y, G)$ फिर $xRy$. उदाहरण के लिए, का रक्त संबंधी एक सममित संबंध है।
 * : सभी के लिए $$x, y \in X,$$ यदि $xRx$ तथा $xRx$ फिर $$x = y.$$ उदाहरण के लिए, $$\,\geq\,$$ एक विषम संबंध है।
 * : सभी के लिए $$x, y \in X,$$ यदि $xRy$ फ़िर नही $yRx$. एक संबंध असममित है यदि और केवल यदि यह प्रतिसममित और अपरिवर्तनीय दोनों है। उदाहरण के लिए, > एक असममित संबंध है, लेकिन $$\,\geq\,$$ नहीं है।
 * : सभी के लिए $$x, y, z \in X,$$ यदि $xRy$ तथा $yRx$ फिर $xRy$. एक सकर्मक संबंध अपरिवर्तनीय है अगर और केवल अगर यह असममित है। उदाहरण के लिए, का पूर्वज सकर्मक संबंध है, जबकि का जनक नहीं है।
 * : सभी के लिए $$x, y \in X,$$ यदि $$x \neq y$$ फिर $yRx$ या $xRy$.
 * : सभी के लिए $$x, y \in X,$$ $yRz$ या $xRz$.

ए एक ऐसा संबंध है जो प्रतिवर्त, प्रतिसममित और सकर्मक है। ए  एक ऐसा संबंध है जो अप्रतिवर्ती, प्रतिसममित और सकर्मक है। ए  एक ऐसा संबंध है जो प्रतिवर्त, प्रतिसममित, सकर्मक और जुड़ा हुआ है। A  एक ऐसा संबंध है जो अप्रतिवर्ती, प्रतिसममित, सकर्मक और जुड़ा हुआ है। एक एक संबंध है जो स्वतुल्य, सममित और सकर्मक है। उदाहरण के लिए, x विभाजित करता है y एक आंशिक है, लेकिन प्राकृतिक संख्याओं पर कुल आदेश नहीं है $$\N,$$ x <y एक सख्त कुल आदेश है $$\N,$$ और x, y के समांतर है, यूक्लिडियन विमान में सभी रेखाओं के समुच्चय पर एक तुल्यता संबंध है।

सेक्शन #ऑपरेशन्स ऑन बाइनरी रिलेशंस में परिभाषित सभी ऑपरेशन सजातीय संबंधों पर भी लागू होते हैं। इसके अलावा, एक सेट एक्स पर एक सजातीय संबंध क्लोजर ऑपरेशंस के अधीन हो सकता है जैसे:
 * : एक्स युक्त आर पर सबसे छोटा रिफ्लेक्सिव संबंध,
 * : R युक्त X पर सबसे छोटा सकर्मक संबंध,
 * : R युक्त X पर सबसे छोटा समतुल्य संबंध।

विषम संबंध
गणित में, एक विषम संबंध एक द्विआधारी संबंध है, जो कार्टेशियन उत्पाद का एक सबसेट है $$A \times B,$$ जहाँ A और B संभवतः भिन्न समुच्चय हैं। उपसर्ग हेटेरो ग्रीक ἕτερος (हेटरोस, अन्य, अन्य, अलग) से है।

एक विषम संबंध को 'आयताकार संबंध' कहा गया है, यह सुझाव देते हुए कि इसमें द्विआधारी संबंध # सजातीय संबंध का वर्ग-समरूपता नहीं है $$A = B.$$ सजातीय संबंधों से परे द्विआधारी संबंधों के विकास पर टिप्पणी करते हुए, शोधकर्ताओं ने लिखा, ... सिद्धांत का एक प्रकार विकसित हुआ है जो संबंधों को शुरू से ही मानता है या, यानी संबंधों के रूप में जहां सामान्य मामला यह है कि वे विभिन्न सेटों के बीच संबंध हैं।

संबंधों की गणना
बीजगणितीय तर्क में विकास ने द्विआधारी संबंधों के उपयोग की सुविधा प्रदान की है। संबंधों की गणना में समुच्चयों का बीजगणित, संबंधों की संरचना द्वारा विस्तारित और विपरीत संबंधों का उपयोग शामिल है। समावेश $$R \subseteq S,$$ जिसका अर्थ है कि aRb का अर्थ है aSb, संबंधों के एक जाली (आदेश सिद्धांत) में दृश्य सेट करता है। लेकिन जबसे $$P \subseteq Q \equiv (P \cap \bar{Q} = \varnothing ) \equiv (P \cap Q = P),$$ समावेशन प्रतीक अतिश्योक्तिपूर्ण है। फिर भी, संबंधों की संरचना और ऑपरेटरों की हेरफेर संबंधों की संरचना के अनुसार # श्रोडर नियम | श्रोडर नियम, की शक्ति सेट में काम करने के लिए एक कलन प्रदान करता है $$A \times B.$$ सजातीय संबंधों के विपरीत, संबंधों के संचालन की संरचना केवल एक आंशिक कार्य है। रचित संबंधों के डोमेन के लिए सीमा के मिलान की आवश्यकता ने सुझाव दिया है कि विषम संबंधों का अध्ययन श्रेणी सिद्धांत का एक अध्याय है, जैसा कि सेट की श्रेणी में है, सिवाय इसके कि इस श्रेणी के रूपवाद संबंध हैं। }} श्रेणी के संबंधों की श्रेणी सेट होती है, और संबंध-रूपवाद एक श्रेणी (गणित) में आवश्यकतानुसार बनते हैं।

प्रेरित अवधारणा जाली
द्विआधारी संबंधों को उनकी प्रेरित अवधारणा जाली के माध्यम से वर्णित किया गया है: एक अवधारणा C ⊂ R दो गुणों को संतुष्ट करती है: (1) C का तार्किक मैट्रिक्स तार्किक वैक्टर का बाहरी उत्पाद है
 * $$C_{i j} \ = \ u_i v_j, \quad u, v$$ तार्किक वैक्टर। (2) सी अधिकतम है, किसी अन्य बाहरी उत्पाद में निहित नहीं है। इस प्रकार C को एक गैर-विस्तारित आयत के रूप में वर्णित किया गया है।

किसी दिए गए संबंध के लिए $$R \subseteq X \times Y,$$ अवधारणाओं का समूह, उनके जुड़ने और मिलने से बढ़ा हुआ, समावेशन के साथ अवधारणाओं का एक प्रेरित जाल बनाता है $$\sqsubseteq$$ एक पूर्व आदेश बनाना।

MacNeille पूर्णता प्रमेय (1937) (कि किसी भी आंशिक क्रम को एक पूर्ण जाली में एम्बेड किया जा सकता है) को 2013 के एक सर्वेक्षण लेख में अवधारणा लैटिस पर संबंधों के अपघटन का हवाला दिया गया है। अपघटन है
 * $$R \ = \ f \ E \ g^\textsf{T} ,$$ जहाँ f और g फलन (गणित) हैं, कहलाते हैं या वाम-कुल, इस संदर्भ में एकसमान संबंध। प्रेरित अवधारणा जाली आंशिक आदेश ई के पूर्ण होने के लिए आइसोमोर्फिक है जो संबंध आर के न्यूनतम अपघटन (एफ, जी, ई) से संबंधित है।

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

संबंधों को 'शीन रैंक' द्वारा रैंक किया जा सकता है जो किसी संबंध को कवर करने के लिए आवश्यक अवधारणाओं की संख्या की गणना करता है। अवधारणाओं के साथ संबंधों का संरचनात्मक विश्लेषण डेटा खनन के लिए एक दृष्टिकोण प्रदान करता है।

विशेष संबंध

 * प्रस्ताव: यदि R एक क्रमिक संबंध है और RT तो इसका स्थानान्तरण है $$I \subseteq R^\textsf{T} R$$ कहाँ पे $$I$$ m × m तत्समक संबंध है।
 * प्रस्ताव: यदि R एक विशेषण संबंध है, तो $$I \subseteq R R^\textsf{T}$$ कहाँ पे $$I$$ है $$n \times n$$ पहचान संबंध।

द्विक्रियात्मक
एक समानता संबंध की अवधारणा के सामान्यीकरण के रूप में, अलग-अलग विशेषताओं के आधार पर वस्तुओं को विभाजित करने के लिए एक द्विभाजित संबंध का विचार है। ऐसा करने का एक तरीका एक मध्यवर्ती सेट के साथ है $$Z = \{ x, y, z, \ldots \}$$ संकेतक (अनुसंधान) एस। विभाजन संबंध $$R = F G^\textsf{T}$$ का उपयोग कर संबंधों की एक रचना है संबंधों $$F \subseteq A \times Z \text{ and } G \subseteq B \times Z.$$ जैक्स रिगुएट ने रचना एफ जी के बाद से इन संबंधों को कार्यात्मक नाम दियाT में असमान संबंध शामिल हैं, जिन्हें आमतौर पर आंशिक कार्य कहा जाता है।

1950 में रिगुट ने दिखाया कि ऐसे संबंध समावेशन को संतुष्ट करते हैं:
 * $$R \ R^\textsf{T} \ R \ \subseteq \ R$$

ऑटोमेटा सिद्धांत में, आयताकार संबंध शब्द का उपयोग एक भिन्नात्मक संबंध को निरूपित करने के लिए भी किया गया है। यह शब्दावली इस तथ्य को याद करती है कि, जब एक तार्किक मैट्रिक्स के रूप में प्रतिनिधित्व किया जाता है, तो एक भिन्नात्मक संबंध के स्तंभों और पंक्तियों को एक ब्लॉक मैट्रिक्स के रूप में व्यवस्थित किया जा सकता है जिसमें (असममित) मुख्य विकर्ण पर आयताकार ब्लॉक होते हैं। अधिक औपचारिक रूप से, एक संबंध $$R$$ पर $$X \times Y$$ यदि और केवल यदि इसे कार्टेशियन उत्पादों के संघ के रूप में लिखा जा सकता है, तो यह भिन्न है $$A_i \times B_i$$, जहां $$A_i$$ के एक उपसमुच्चय का विभाजन हैं $$X$$ और यह $$B_i$$ इसी तरह के एक सबसेट का विभाजन $$Y$$. संकेतन {y: xRy} = xR का उपयोग करते हुए, एक द्विभाजित संबंध को एक संबंध R के रूप में भी चित्रित किया जा सकता है जैसे कि जहाँ भी x1आर और एक्स2R में एक गैर-खाली चौराहा है, तो ये दो सेट मेल खाते हैं; औपचारिक रूप से $$x_1 \cap x_2 \neq \varnothing$$ तात्पर्य $$x_1 R = x_2 R.$$ 1997 में शोधकर्ताओं ने डेटाबेस प्रबंधन में विविध निर्भरताओं के आधार पर द्विआधारी अपघटन की उपयोगिता पाई। इसके अलावा, bisimulation के अध्ययन में विवर्तनिक संबंध मौलिक हैं। सजातीय संबंधों के संदर्भ में, एक आंशिक तुल्यता संबंध भिन्नात्मक होता है।

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

फेरर्स प्रकार के संबंध R के लिए आवश्यक बीजगणितीय कथन है $$R \bar{R}^\textsf{T} R \subseteq R.$$ अगर कोई एक रिश्ता $$R, \ \bar{R}, \ R^\textsf{T}$$ फेरर्स प्रकार का है, तो वे सभी हैं।

संपर्क
मान लीजिए B, A का घात समुच्चय है, जो A के सभी उपसमुच्चयों का समुच्चय है। फिर एक संबंध g एक 'संपर्क संबंध' है, यदि यह तीन गुणों को संतुष्ट करता है: सेट सदस्यता संबंध, ε = का एक तत्व है, इन गुणों को संतुष्ट करता है इसलिए ε एक संपर्क संबंध है। 1970 में जॉर्ज ऑमन द्वारा एक सामान्य संपर्क संबंध की धारणा पेश की गई थी। संबंधों की गणना के संदर्भ में, संपर्क संबंध के लिए पर्याप्त शर्तों में शामिल हैं $$C^\textsf{T} \bar{C} \ \subseteq \ \ni \bar{C} \ \ \equiv \ C \ \overline{\ni \bar{C}} \ \subseteq \ C,$$ कहाँ पे $$\ni$$ सेट सदस्यता (∈) का विलोम है।
 * 1) $$\text{for all } x \in A, Y = \{ x \} \text{ implies } xgY.$$
 * 2) $$Y \subseteq Z \text{ and } xgY \text{ implies } xgZ.$$
 * 3) $$\text{for all } y \in Y, ygZ \text{ and } xgY \text{ implies } xgZ.$$

अग्रिम आदेश आर \ आर
प्रत्येक संबंध R एक पूर्व-आदेश उत्पन्न करता है $$R \backslash R$$ जो संबंधों की संरचना#भागफल है। बातचीत और पूरक के संदर्भ में, $$R \backslash R \ \equiv \ \overline{R^\textsf{T} \bar{R}}.$$ का विकर्ण बनाना $$R^\textsf{T} \bar{R}$$, की संगत पंक्ति $$R^{\text{T}}$$ और का स्तंभ $$\bar{R}$$ विपरीत तार्किक मान होंगे, इसलिए विकर्ण सभी शून्य हैं। फिर
 * $$R^\textsf{T} \bar{R} \subseteq \bar{I} \ \implies \ I \subseteq \overline{R^\textsf{T} \bar{R}} \ = \ R \backslash R ,$$ ताकि $$R \backslash R$$ प्रतिवर्त संबंध है।

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

यू के पावर सेट पर समावेशन (सेट सिद्धांत) संबंध Ω तत्व (गणित) से इस तरह प्राप्त किया जा सकता है $$\,\in\,$$ यू के सबसेट पर:
 * $$\Omega \ = \ \overline{\ni \bar{\in}} \ = \ \in \backslash \in .$$

एक रिश्ते की सीमा
एक संबंध R दिया गया है, एक उप-संबंध इसे कहते हैं की तरह परिभाषित किया गया है $$\operatorname{fringe}(R) = R \cap \overline{R \bar{R}^\textsf{T} R}.$$ जब R एक आंशिक पहचान संबंध, द्विक्रियात्मक, या एक ब्लॉक विकर्ण संबंध है, तो फ्रिंज (R) = R. अन्यथा फ्रिंज ऑपरेटर अपने तार्किक मैट्रिक्स के संदर्भ में वर्णित एक सीमा उप-संबंध का चयन करता है: फ्रिंज (R) पार्श्व विकर्ण है यदि R एक ऊपरी दायाँ त्रिकोणीय रैखिक क्रम या सख्त क्रम है। फ्रिंज (आर) ब्लॉक फ्रिंज है अगर आर अपरिवर्तनीय है ($$R \subseteq \bar{I}$$) या ऊपरी दायां ब्लॉक त्रिकोणीय। फ्रिंज (आर) सीमा आयतों का एक क्रम है जब आर फेरर्स प्रकार का होता है।

दूसरी ओर, फ्रिंज (आर) = ∅ जब आर एक सघन क्रम, रैखिक, सख्त क्रम है।

गणितीय ढेर
दो सेट ए और बी दिए गए हैं, उनके बीच द्विआधारी संबंधों का सेट $$\mathcal{B}(A,B)$$ एक टर्नरी ऑपरेशन से लैस किया जा सकता है $$[a, \ b,\ c] \ = \ a b^\textsf{T} c$$ जहां बीT b के विलोम संबंध को दर्शाता है। 1953 में विक्टर वैगनर ने सेमीहीप्स, हीप्स और सामान्यीकृत हीप्स को परिभाषित करने के लिए इस टर्नरी ऑपरेशन के गुणों का उपयोग किया। इन परिभाषाओं द्वारा विषम और सजातीय संबंधों के विपरीत पर प्रकाश डाला गया है: "There is a pleasant symmetry in Wagner's work between heaps, semiheaps, and generalised heaps on the one hand, and groups, semigroups, and generalised groups on the other. Essentially, the various types of semiheaps appear whenever we consider binary relations (and partial one-one mappings) between different sets A and B, while the various types of semigroups appear in the case where A = B."

यह भी देखें

 * सार पुनर्लेखन प्रणाली
 * योज्य संबंध, मॉड्यूल के बीच एक बहु-मूल्यवान समरूपता
 * रूपक (श्रेणी सिद्धांत)
 * संबंधों की श्रेणी, वस्तुओं के रूप में सेट वाली श्रेणी और आकारिकी के रूप में द्विआधारी संबंध
 * संगम (शब्द पुनर्लेखन), द्विआधारी संबंधों के कई असामान्य लेकिन मौलिक गुणों पर चर्चा करता है
 * पत्राचार (बीजीय ज्यामिति), बीजगणितीय समीकरणों द्वारा परिभाषित एक द्विआधारी संबंध
 * हस्स आरेख, एक ग्राफिक का मतलब ऑर्डर संबंध प्रदर्शित करना है
 * घटना संरचना, बिंदुओं और रेखाओं के सेट के बीच एक विषम संबंध
 * रिश्तेदारों का तर्क, चार्ल्स सैंडर्स पियर्स द्वारा संबंधों का एक सिद्धांत
 * आदेश सिद्धांत, आदेश संबंधों के गुणों की जांच करता है

ग्रन्थसूची

 * Ernst Schröder (1895) Algebra der Logik, Band III, via Internet Archive
 * Ernst Schröder (1895) Algebra der Logik, Band III, via Internet Archive

इस पेज में लापता आंतरिक लिंक की सूची

 * अंक शास्त्र
 * सेट (गणित)
 * क्रमित युग्म
 * एकात्मक समारोह
 * डिविसिबिलिटी
 * समारोह (गणित)
 * लीनियर अलजेब्रा
 * असमानता (गणित)
 * जाली (आदेश)
 * विपरीत संबंध
 * संबंधों की रचना
 * संबंधों की गणना
 * सेट का बीजगणित
 * चौराहा (सेट सिद्धांत)
 * द्विपक्षीय ग्राफ
 * पूर्ण समय और स्थान
 * कुल आदेश
 * एंटीसिमेट्रिक संबंध
 * ट्राइकोटॉमी (गणित)
 * सीरियल संबंध
 * आंशिक आदेश
 * पूर्णता (आदेश सिद्धांत)
 * प्रतिवर्त संबंध
 * उच्चतम
 * भोला सेट सिद्धांत
 * इन्वोल्यूशन (गणित)
 * शामिल होने के साथ अर्धसमूह
 * आकारिता
 * आंशिक समारोह
 * मैकनील पूर्णता प्रमेय
 * डेटा माइनिंग
 * आदेश सिद्धांत
 * सदस्यता निर्धारित करें
 * योगात्मक संबंध
 * संगम (अवधि पुनर्लेखन)