बाइनरी संबंध: Difference between revisions

Latest revision as of 09:49, 17 December 2022

	Symmetric	Antisymmetric	Connected	Well-founded	Has joins	Has meets	Reflexive	Irreflexive	Asymmetric
			Total, Semiconnex					Anti- reflexive
Equivalence relation	Y	✗	✗	✗	✗	✗	Y	✗	✗
Preorder (Quasiorder)	✗	✗	✗	✗	✗	✗	Y	✗	✗
Partial order	✗	Y	✗	✗	✗	✗	Y	✗	✗
Total preorder	✗	✗	Y	✗	✗	✗	Y	✗	✗
Total order	✗	Y	Y	✗	✗	✗	Y	✗	✗
Prewellordering	✗	✗	Y	Y	✗	✗	Y	✗	✗
Well-quasi-ordering	✗	✗	✗	Y	✗	✗	Y	✗	✗
Well-ordering	✗	Y	Y	Y	✗	✗	Y	✗	✗
Lattice	✗	Y	✗	✗	Y	Y	Y	✗	✗
Join-semilattice	✗	Y	✗	✗	Y	✗	Y	✗	✗
Meet-semilattice	✗	Y	✗	✗	✗	Y	Y	✗	✗
Strict partial order	✗	✗	✗	✗	✗	✗	✗	Y	Y
Strict weak order	✗	✗	✗	✗	✗	✗	✗	Y	Y
Strict total order	✗	✗	Y	✗	✗	✗	✗	Y	Y
	Symmetric	Antisymmetric	Connected	Well-founded	Has joins	Has meets	Reflexive	Irreflexive	Asymmetric
Definitions, for all $a,b$ and $S\neq \varnothing :$	${\begin{aligned}&aRb\\\Rightarrow {}&bRa\end{aligned}}$	${\begin{aligned}aRb{\text{ and }}&bRa\\\Rightarrow a={}&b\end{aligned}}$	${\begin{aligned}a\neq {}&b\Rightarrow \\aRb{\text{ or }}&bRa\end{aligned}}$	${\begin{aligned}\min S\\{\text{exists}}\end{aligned}}$	${\begin{aligned}a\vee b\\{\text{exists}}\end{aligned}}$	${\begin{aligned}a\wedge b\\{\text{exists}}\end{aligned}}$	$aRa$	${\text{not }}aRa$	${\begin{aligned}aRb\Rightarrow \\{\text{not }}bRa\end{aligned}}$

indicates that the column's property is required by the definition of the row's term (at the very left). For example, the definition of an equivalence relation requires it to be symmetric. ✗ indicates that the property may, or may not hold. All definitions tacitly require the homogeneous relation

R

be transitive: for all

a,b,c,

if

aRb

and

bRc

then

aRc,

and there are additional properties that a homogeneous relation may satisfy.

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

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

विभिन्न प्रकार की अवधारणाओं को प्रतिरूपित करने के लिए गणित की कई शाखाओं में द्विआधारी सम्बन्ध का उपयोग किया जाता है। इनमें अन्य के साथ निम्लिखित भी सम्मिलित हैं:

अंकगणित में "से बड़ा है", "बराबर है", और "विभाजित" संबंध;
ज्यामिति में "के सर्वांगसम" संबंध;
ग्राफ सिद्धांत में "निकटवर्ती है" संबंध;
रैखिक बीजगणित में "के लंबकोणीय है" संबंध।

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

समुच्चय $X$ और $Y$ पर एक द्विआधारी सम्बन्ध $X\times Y$ के पावर समुच्चय का अवयव है। चूँकि अनुवर्ती समुच्चय को अंतर्वेशन (⊆) द्वारा अनुक्रमित किया जाता है, प्रत्येक सम्बन्ध को $X\times Y$ के उपसमुच्चयों के जालक में स्थान प्राप्त होता है जब X = Y होता है अतः द्विआधारी सम्बन्ध को सजातीय सम्बन्ध कहा जाता है। द्विआधारी सम्बन्ध को विजातीय सम्बन्ध भी कहा जाता है जब यह आवश्यक नहीं है कि X = Y।

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

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

संबंध समतुल्यता,^[7] द्विपदी संबंध और दो-स्थान सम्बन्ध द्विआधारी सम्बन्ध के लिए समानार्थी हैं, हालांकि कुछ लेखक $X$ और $Y$ के संदर्भ के बिना कार्तीय गुणन $X\times Y$ के किसी भी उपसमूह के लिए "द्विआधारी सम्बन्ध" शब्द का उपयोग करते हैं, और $X$ और $Y$ के संदर्भ में बाइनरी रिलेशन के लिए "समतुल्यता" शब्द आरक्षित करते हैं।^{[citation needed]}

परिभाषा

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

समुच्चय X और Y पर द्विआधारी सम्बन्ध R $X\times Y$ ^[2]^[8] का उपसमुच्चय है। समुच्चय X को प्रान्त^[2] या R के विचलन का समुच्चय कहा जाता है, और समुच्चय Y को सहप्रांत या R के गंतव्य का समुच्चय कहा जाता है। समुच्चय X और Y के विकल्पों को निर्दिष्ट करने के लिए, कुछ लेखक द्विआधारी सम्बन्ध या समतुल्यता को क्रमित ट्रिपल $(X, Y, G)$ के रूप में परिभाषित करते हैं, जहां G $X\times Y$ का एक उपसमुच्चय है जिसे द्विआधारी सम्बन्ध का ग्राफ कहा जाता है। प्रकथन $(x,y)\in R$ पढ़ता है "x R से सम्बन्धित है" और xRy द्वारा चिह्नित किया गया है।^[4]^[5]^[6]^{[note 1]} परिभाषा-प्रांत या R का सक्रिय प्रान्त^[2] सभी x का समुच्चय है जैसे कम से कम एक y के लिए xRy। परिभाषा-सहप्रांत, सक्रिय सहप्रांत,^[2] छवि या R की श्रेणी सभी y का समुच्चय है जैसे कम से कम एक x के लिए xRy। R का क्षेत्र इसके परिभाषा-प्रांत और इसके परिभाषा-सहप्रांत का मिलन है।^[10]^[11]^[12]

जब $X=Y,$ द्विआधारी सम्बन्ध को एक सजातीय संबंध (या अंतःकरण) कहा जाता है। इस तथ्य पर जोर देने के लिए कि X और Y को अलग-अलग होने की अनुमति है, एक द्विआधारी सम्बन्ध को विजातीय सम्बन्ध भी कहा जाता है।^[13]^[14]^[15]

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

उदाहरण

द्वितीय उदाहरण सम्बन्ध
$A$ $B'$	बॉल	कार	डॉल	कप
जॉन	+	−	−	−
मैरी	−	−	+	−
वीनस	−	+	−	−

प्रथम उदाहरण सम्बन्ध
$A$ $B$	बॉल	कार	डॉल	कप
जॉन	+	−	−	−
मैरी	−	−	+	−
इयान	−	−	−	−
वीनस	−	+	−	−

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

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

महासागर और महाद्वीप (छोड़े गए द्वीप)

महासागर की सीमाएँ महाद्वीप
	एनए	एसए	एएफ	ईयु	एएस	एयु	एए
भारतीय	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

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}}.

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

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

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

Error creating thumbnail:

विभिन्न t अक्ष गति में पर्यवेक्षकों के लिए समय का निरूपण करते हैं, सम्बन्धित x अक्ष उनकी समकालिकता की रेखाएं हैं I

4) अतिपरवलकीय लम्बकोणीयता: समय और स्थान विभिन्न श्रेणियां हैं, और कालगत गुण स्थानिक गुणों से अलग हैं। समकालिक घटनाओं का विचार निरपेक्ष समय और स्थान में सरल है क्योंकि हर बार t उस ब्रह्माण्ड विज्ञान में एक साथ होने वाले अधिसमतल को निर्धारित करता है। हरमन मिन्कोव्स्की ने इसे बदल दिया जब उन्होंने सापेक्ष समकालिकता की धारणा को व्यक्त किया, जो कि तब उपस्थित होता है जब स्थानिक घटनाएं एक वेग की विशेषता वाले समय के लिए "सामान्य" होती हैं। उन्होंने एक अनिश्चित आंतरिक गुणन का उपयोग किया, और निर्दिष्ट किया कि एक समय सदिश एक सदिश के लिए सामान्य होता है जब वह गुणन शून्य होता है। संघटन बीजगणित में अनिश्चित आंतरिक गुणन किसके द्वारा दिया जाता है

<x,z>\ =\ x{\bar {z}}+{\bar {x}}z\;

जहां ओवरबार संयुग्मन को दर्शाता है।

कुछ लौकिक घटनाओं और कुछ स्थानिक घटनाओं के बीच सम्बन्ध के रूप में, अतिपरवलकीय लम्बकोणीयता (जैसा कि विभाजित-समिश्र संख्याओं में पाया जाता है) विजातीय सम्बन्ध है।^[16]

5) ज्यामितीय विन्यास को उसके बिंदुओं और उसकी रेखाओं के बीच के सम्बन्ध के रूप में माना जा सकता है। सम्बन्ध को घटना के रूप में व्यक्त किया जाता है। परिमित और अनंत प्रक्षेपी और एफ़ाइन तल सम्मिलित हैं। जैकब स्टेनर ने स्टेनर प्रणाली ${\text{S}}(t,k,n)$ के साथ विन्यासों की सूची बनाने का बीड़ा उठाया है जिसमें एक एन-एलिमेंट समुच्चय S और के-एलिमेंट उपसमुच्चय का एक समुच्चय है जिसे ब्लॉक कहा जाता है, जैसे कि टी अवयवों वाला एक उपसमुच्चय केवल एक ब्लॉक में निहित है। इन आपतन संघटनों को ब्लॉक अभिकल्पनाओं के साथ सामान्यीकृत किया गया है। इन ज्यामितीय संदर्भों में प्रयुक्त घटना आव्यूह सामान्यतः द्विआधारी सम्बन्धों के साथ उपयोग किए जाने वाले तार्किक आव्यूह से मेल खाती है।

घटना संघटन एक ट्रिपल D = (V, B, I) है जहां V और B कोई भी दो अलग समुच्चय हैं और I, V और B के बीच द्विआधारी सम्बन्ध है, अर्थात

I\subseteq V\times {\textbf {B}}

। V के अवयवों को बिंदु कहा जाएगा, जो B के हैं ब्लॉक और I के फ्लैग्स।^[17]

विशेष प्रकार के द्विआधारी सम्बन्ध

File:The four types of binary relations.png

वास्तविक संख्याओं पर चार प्रकार के द्विआधारी सम्बन्धों के उदाहरण: वन-टू-वन (हरे रंग में), वन-टू-मैनी (नीले रंग में), मैनी-टू-वन (लाल रंग में), मैनी-टू-मैनी (काले रंग में) ).

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

विशिष्टता गुण:

अंतःक्षेपक (वाम-विशिष्ट भी कहा जाता है):^[18] सभी $x,z\in X$ और सभी $y\in Y,$ के लिए, यदि $xRy$ और $zRy$ तो $x = z$ । ऐसे सम्बन्ध के लिए, {Y} को R की प्राथमिक कुंजी कहते हैं।^[2] उदाहरण के लिए, आरेख में हरे और नीले रंग के द्विआधारी सम्बन्ध अंतःक्षेपक हैं, परन्तु लाल वाले (क्योंकि यह -1 और 1 से 1 दोनों को सम्बन्धित करता है), और न ही काला वाले है (क्योंकि यह -1 और 1 से 0 दोनों से सम्बन्धित है)।
प्रकार्यात्मक (जिसे राइट-यूनीक भी कहा जाता है,^[18] राइट-डेफिनिट^[19] या अयुग्म (यूनिवेलेंट)):^[6] सभी $x\in X$ और सभी $y,z\in Y,$ के लिए, यदि $xRy$ और $xRz$ तो $y = z$ । ऐसे द्विआधारी सम्बन्ध को आंशिक फलन कहते हैं। ऐसे सम्बन्ध के लिए, $\{X\}$ को R की प्राथमिक कुंजी कहा जाता है।^[2] उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी सम्बन्ध प्रकार्यात्मक हैं, परन्तु नीला वाला (क्योंकि यह 1 को -1 और 1 दोनों से जोड़ता है), और न ही काला वाला है (क्योंकि यह 0 से सम्बन्धित है -1 और 1)।
वन-टू-वन: अंतःक्षेपक और प्रकार्यात्मक। उदाहरण के लिए, आरेख में हरे रंग का द्विआधारी सम्बन्ध वन-टू-वन है, परन्तु लाल, नीला और काला नहीं है।
वन-टू-मैनी: अंतःक्षेपक और प्रकार्यात्मक नहीं। उदाहरण के लिए, आरेख में नीला द्विआधारी सम्बन्ध वन-टू-मैनी है, परन्तु लाल, हरे और काले वाले नहीं हैं।
मैनी-टू-वन: प्रकार्यात्मक और अंतःक्षेपक नहीं। उदाहरण के लिए, आरेख में लाल द्विआधारी सम्बन्ध मैनी-टू-वन है, परन्तु हरे, नीले और काले रंग नहीं हैं।
मैनी-टू-मैनी: अंतःक्षेपक नहीं और न ही प्रकार्यात्मक। उदाहरण के लिए, आरेख में काला द्विआधारी सम्बन्ध मैनी-टू-मैनी है, परन्तु लाल, हरे और नीले रंग नहीं हैं।

संपूर्णता गुण (केवल प्रान्त X और सहप्रांत Y निर्दिष्ट होने पर ही परिभाषित किया जा सकता है):

टोटल (जिसे वाम-टोटल भी कहा जाता है):^[18] X में सभी x के लिए Y में एक y उपस्थित है जैसे कि $xRy$ । दूसरे शब्दों में, R की परिभाषा का क्षेत्र X के बराबर है। यह गुणधर्म गुणधर्मों में संबद्ध (कुछ लेखकों द्वारा टोटल भी कहा जाता है)^{[citation needed]} की परिभाषा से भिन्न है। इस तरह के द्विआधारी सम्बन्ध को बहुमान फलन कहा जाता है। उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी सम्बन्ध टोटल हैं, परन्तु नीला वाला (क्योंकि यह -1 को किसी भी वास्तविक संख्या से सम्बन्धित नहीं करता है), और न ही काला है (क्योंकि यह किसी भी वास्तविक संख्या से 2 को सम्बन्धित नहीं करता है)। एक अन्य उदाहरण के रूप में, > पूर्णांकों पर टोटल सम्बन्ध है। परन्तु यह धनात्मक पूर्णांकों पर टोटल सम्बन्ध नहीं है, क्योंकि धनात्मक पूर्णांकों में ऐसा कोई y नहीं है कि $1 > y$ ।^[20] हालाँकि, < धनात्मक पूर्णांकों, परिमेय संख्याओं और वास्तविक संख्याओं पर टोटल सम्बन्ध है। प्रत्येक स्वतुल्य सम्बन्ध पूर्ण होता है: किसी दिए गए $x$ के लिए, $y = x$ चुनें।
आच्छादित (जिसे राइट-टोटल^[18] या एकाकी भी कहा जाता है): Y में सभी y के लिए, X में एक x उपस्थित है जैसे xRy। दूसरे शब्दों में, R की परिभाषा का कोड प्रान्त Y के बराबर है। उदाहरण के लिए, आरेख में हरे और नीले रंग के द्विआधारी सम्बन्ध विशेषण हैं, परन्तु लाल वाला (क्योंकि यह -1 से किसी भी वास्तविक संख्या को सम्बन्धित नहीं करता है), और न ही काला वाला है (क्योंकि यह किसी वास्तविक संख्या को 2 से सम्बन्धित नहीं करता है)।

विलक्षणता और समग्रता गुण (केवल तभी परिभाषित किया जा सकता है जब प्रान्त X और सहप्रांत Y निर्दिष्ट किए गए हों):

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

यदि उचित वर्गों पर सम्बन्धों की अनुमति है:

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

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

संश्रय

यदि R और S समुच्चय X और Y पर द्विआधारी सम्बन्ध हैं तो $R\cup S=\{(x,y):xRy{\text{ or }}xSy\}$ X और Y पर R और S का संश्रय सम्बन्ध है।

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

उभयनिष्ठ

यदि R और S समुच्चय X और Y पर द्विआधारी सम्बन्ध हैं तो $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\}$ (R द्वारा भी निरूपित किया जाता है; S) X और Z से अधिक R और S का संघटन सम्बन्ध है।

तत्समक अवयव तत्समक का सम्बन्ध है। अंकन $S\circ R,$ में R और S का क्रम, यहां उपयोग किए गए फलनों के संघटन के लिए मानक अंकन क्रम से सहमत हैं। उदाहरण के लिए, संघटन (की जनक है) $\,\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 या $\neg R$ द्वारा भी निरूपित किया जाता है) 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\}$ X और Y पर R से S का बायाँ-प्रतिबंध सम्बन्ध है। [reference missing स्पष्टीकरण की आवश्यकता]

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

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

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

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

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

आव्यूह निरूपण

समुच्चय X और Y पर द्विआधारी सम्बन्धों को X और Y द्वारा अनुक्रमित तार्किक आव्यूह द्वारा बूलियन सेमिरिंग में प्रविष्टियों के साथ बीजगणितीय रूप से प्रदर्शित किया जा सकता है (योग ऑर के अनुरूप है और गुणा एंड से) जहां आव्यूह जोड़ सम्बन्धों के मिलन से मेल खाता है, आव्यूह गुणन सम्बन्धों के संघटन से मेल खाता है (X और Y के ऊपर एक सम्बन्ध और Y और Z के ऊपर एक सम्बन्ध),^[22] हैडमार्ड गुणन सम्बन्धों के उभयनिष्ठ से मेल खाता है, शून्य आव्यूह रिक्त सम्बन्ध से मेल खाता है, और लोगों का आव्यूह का सार्वभौमिक सम्बन्ध से मेल खाता है। सजातीय सम्बन्ध (जब $X = Y$ ) एक आव्यूह सेमीरिंग बनाते हैं (वास्तव में, बूलियन सेमीरिंग के ऊपर एक आव्यूह अर्ध बीजगणित) जहां तत्समक आव्यूह तत्समक सम्बन्ध के अनुरूप है।^[23]

समुच्चय बनाम वर्ग

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

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

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

सजातीय सम्बन्ध

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

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

सजातीय सम्बन्ध के कुछ महत्वपूर्ण गुण $R$ एक समुच्चय पर $X$ हो सकता है:

स्वतुल्य: सभी $x\in X,$ $xRx$ के लिए। उदाहरण के लिए, $\,\geq \,$ एक प्रतिवर्त सम्बन्ध है परन्तु > नहीं है।
अस्वतुल्य: सभी $x\in X,$ के लिए नहीं $xRx$ । उदाहरण के लिए, $\,>\,$ एक अपरिवर्तनीय सम्बन्ध है, परन्तु $\,\geq \,$ नहीं है।
सममित: सभी के लिए $x,y\in X,$ यदि $xRy$ तो $yRx$ । उदाहरण के लिए, "का रक्त सम्बन्धी है" एक सममित सम्बन्ध है।
प्रतिसममित: सभी $x,y\in X,$ के लिए यदि $xRy$ और $yRx$ तो $x=y$ । उदाहरण के लिए, $\,\geq \,$ एक एंटीसिमेट्रिक सम्बन्ध है।^[27]
असममित: सभी $x,y\in X,$ के लिए यदि $xRy$ है तो $yRx$ नहीं है। एक सम्बन्ध असममित होता है यदि और केवल यदि यह असममित और अपरिवर्तनशील दोनों हो।^[28] उदाहरण के लिए, > एक असममित सम्बन्ध है, परन्तु $\,\geq \,$ नहीं है।
सकर्मक: सभी $x,y,z\in X,$ के लिए यदि $xRy$ और $yRz$ तो $xRz$ । एक सकर्मक सम्बन्ध अपरिवर्तनीय होता है यदि और केवल यदि यह असममित हो।^[29] उदाहरण के लिए, "का पूर्वज है" एक सकर्मक सम्बन्ध है, जबकि "का माता-पिता है" नहीं है।
आनुषंगिक (कनेक्टेड): सभी $x,y\in X,$ के लिए यदि $x\neq y$ तो $xRy$ या $yRx$ ।
दृढ़ आनुषंगिक: सभी $x,y\in X,$ $xRy$ या $yRx$ के लिए।
सघन: सभी $x,y\in X,$ के लिए यदि $xRy,$ है, तो कुछ $z\in X$ ऐसे मौजूद हैं कि $xRz$ और ${\displaystyle zRy}$ हैं।

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

अनुभाग में परिभाषित सभी संक्रिया द्विआधारी सम्बन्धों पर संक्रिया भी सजातीय सम्बन्धों पर लागू होते हैं। इसके अतिरिक्त, एक समुच्चय X पर एक सजातीय सम्बन्ध को क्लोजर संक्रिया के अधीन किया जा सकता है जैसे:

स्वतुल्य संवरण: X युक्त R पर सबसे छोटा स्वतुल्य सम्बन्ध,
संक्रमणीय संवरण: R युक्त X पर सबसे छोटा सकर्मक सम्बन्ध,
समतुल्य संवरण: R युक्त X पर सबसे छोटा समतुल्य सम्बन्ध।

विजातीय सम्बन्ध

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

विजातीय सम्बन्ध को एक आयताकार सम्बन्ध कहा गया है,^[15] यह सुझाव देते हुए कि इसमें एक समुच्चय पर समरूप सम्बन्ध का वर्ग-समरूपता नहीं है जहां $A=B$ । सजातीय सम्बन्धों से परे द्विआधारी सम्बन्धों के विकास पर टिप्पणी करते हुए, शोधकर्ताओं ने लिखा, "... सिद्धांत का एक प्रकार विकसित हुआ है जो सम्बन्धों को शुरुआत से ही विजातीय या आयताकार मानता है, अर्थात सम्बन्धों के रूप में जहां सामान्य स्थिति यह है कि वे अलग-अलग समुच्चयों के बीच सम्बन्ध हैं।"^[32]

सम्बन्धों की गणना

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

प्रेरित अवधारणा जालक

द्विआधारी सम्बन्धों को उनकी प्रेरित अवधारणा जालक के माध्यम से वर्णित किया गया है: अवधारणा C ⊂ R दो गुणों को संतुष्ट करती है: (1) C का तार्किक आव्यूह तार्किक सदिश का बाह्य गुणनफल है

C_{ij}\ =\ u_{i}v_{j},\quad u,v

तार्किक सदिश।^{[clarification needed]} (2) C अधिकतम है, किसी अन्य बाहरी गुणन में निहित नहीं है। इस प्रकार C को एक गैर-विस्तार योग्य आयत के रूप में वर्णित किया गया है।

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

मैकनीले पूर्णता प्रमेय (1937) (कि किसी भी आंशिक क्रम को एक पूर्ण जालकी में एम्बेड किया जा सकता है) को 2013 के एक सर्वेक्षण लेख "अवधारणा जालकी पर सम्बन्धों का विघटन" में उद्धृत किया गया है।^[33] अपघटन होता है

R\ =\ f\ E\ g^{\textsf {T}},

जहां f और g फलन हैं, जिन्हें इस संदर्भ में प्रतिचित्रण या बाएं-टोटल, असमान सम्बन्ध कहा जाता है। "प्रेरित अवधारणा जालकी आंशिक अनुक्रम E के कट पूर्णता के लिए आइसोमोर्फिक है जो सम्बन्ध R के न्यूनतम अपघटन (f, g, E) से सम्बन्धित है।"

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

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

विशेष सम्बन्ध

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

द्विक्रियात्मक (डाईफंक्शनल)

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

1950 में रिगुट ने दिखाया कि ऐसे सम्बन्ध अंतर्वेशन को संतुष्ट करते हैं:^[36]

R\ R^{\textsf {T}}\ R\ \subseteq \ R

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

X\times Y

पर सम्बन्ध

R

क्रियात्मक है, यदि और केवल यदि इसे कार्तीय गुणनों

A_{i}\times B_{i}

के संश्रय के रूप में लिखा जा सकता है, जहां

A_{i}

X

के उपसमुच्चय का विभाजन है और

B_{i}

इसी तरह

Y

के उपसमुच्चय का विभाजन है।^[38]

संकेतन {y: xRy} = xR का उपयोग करते हुए, एक द्विभाजित सम्बन्ध को एक सम्बन्ध R के रूप में भी चित्रित किया जा सकता है जैसे कि जहां कहीं भी x₁R और x₂R में एक अरिक्त चौराहा है, तो ये दो समुच्चय मेल खाते हैं; औपचारिक रूप से $x_{1}\cap x_{2}\neq \varnothing$ का मतलब $x_{1}R=x_{2}R$ होता है।^[39]

1997 में शोधकर्ताओं ने "डेटाबेस प्रबंधन में विविध निर्भरताओं पर आधारित द्विआधारी अपघटन की उपयोगिता" को पाया।^[40] इसके अतिरिक्त, बिसिमुलेशन के अध्ययन में विविधात्मक सम्बन्ध मौलिक हैं।^[41]

सजातीय सम्बन्धों के संदर्भ में, एक आंशिक तुल्यता सम्बन्ध भिन्नात्मक होता है।

फेरर्स प्रकार

समुच्चय पर एक पूर्णतः अनुक्रम अनुक्रम सिद्धांत में उत्पन्न होने वाला सजातीय सम्बन्ध है। 1951 में जैक्स रिगुएट ने पूर्णांक के विभाजन के क्रम को अपनाया, जिसे फेरर्स आरेख कहा जाता है, ताकि सामान्य रूप से द्विआधारी सम्बन्धों के क्रम का विस्तार किया जा सके।^[42]

सामान्य द्विआधारी सम्बन्ध के सम्बन्धित तार्किक आव्यूह में पंक्तियाँ होती हैं जो एक के अनुक्रम के साथ समाप्त होती हैं। इस प्रकार फेरर के आरेख के बिंदुओं को बदल दिया जाता है और आव्यूह में दाईं ओर संरेखित किया जाता है। फेरर्स प्रकार के सम्बन्ध R के लिए आवश्यक एक बीजीय कथन है

R{\bar {R}}^{\textsf {T}}R\subseteq R.

यदि कोई एक सम्बन्ध $R,\ {\bar {R}},\ R^{\textsf {T}}$ फेरर्स प्रकार का है, तो वे सभी हैं। ^[31]

संपर्क

मान लीजिए B, A का पावर समुच्चय है, A के सभी उपसमुच्चयों का समुच्चय। फिर सम्बन्ध g संपर्क सम्बन्ध है यदि यह तीन गुणों को संतुष्ट करता है:

${\text{for all }}x\in A,Y=\{x\}{\text{ implies }}xgY.$
$Y\subseteq Z{\text{ and }}xgY{\text{ implies }}xgZ.$
${\text{for all }}y\in Y,ygZ{\text{ and }}xgY{\text{ implies }}xgZ.$

समुच्चय सदस्यता सम्बन्ध, ε = "का एक अवयव है", इन गुणों को संतुष्ट करता है इसलिए ε एक संपर्क सम्बन्ध है। 1970 में जॉर्ज ऑमन द्वारा एक सामान्य संपर्क सम्बन्ध की धारणा पेश की गई थी।^[43]^[44] सम्बन्धों की गणना के संदर्भ में संपर्क सम्बन्ध के लिए पर्याप्त संबंध सम्मिलित हैं

C^{\textsf {T}}{\bar {C}}\ \subseteq \ \ni {\bar {C}}\ \ \equiv \ C\ {\overline {\ni {\bar {C}}}}\ \subseteq \ C,

जहाँ

\ni

समुच्चय सदस्यता (∈) का प्रतिलोम है।^[45]^: 280

प्राग्क्रम (प्रीऑर्डर) R\R

प्रत्येक सम्बन्ध R पूर्व-अनुक्रम $R\backslash R$ उत्पन्न करता है जो बायां अवशिष्ट है।^[46] प्रतिलोम और पूरक के स्थिति में, $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$ सबसे बड़ा सम्बन्ध ऐसा है $RX\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.

(परिभाषा)

U के पावर समुच्चय पर अंतर्वेशन (समुच्चय सिद्धांत) सम्बन्ध Ω अवयव (गणित) से इस तरह प्राप्त किया जा सकता है $\,\in \,$ U के उपसमुच्चय पर:

\Omega \ =\ {\overline {\ni {\bar {\in }}}}\ =\ \in \backslash \in .

^[45]^: 283

सम्बन्ध की सीमांत (फ्रिंज)

सम्बन्ध R दिया गया है, उप-सम्बन्ध जिसे उसकी सीमांत कहा जाता है, को इस प्रकार परिभाषित किया जाता है

\operatorname {fringe} (R)=R\cap {\overline {R{\bar {R}}^{\textsf {T}}R}}.

जब R एक आंशिक तत्समक सम्बन्ध, द्विक्रियात्मक, या एक ब्लॉक विकर्ण सम्बन्ध है, तो सीमांत(R) = R। अन्यथा सीमांत संक्रियक अपने तार्किक आव्यूह के संदर्भ में वर्णित एक सीमा उप-सम्बन्ध का चयन करता है: सीमांत (आर) साइड विकर्ण है यदि R एक ऊपरी दायां त्रिकोणीय रैखिक क्रम या पूर्णतः क्रम है। सीमांत (R) ब्लॉक सीमांत है यदि R अपरिवर्तनीय (

R\subseteq {\bar {I}}

) या ऊपरी दायां ब्लॉक त्रिभुज है। सीमांत(R) सीमा आयतों का एक क्रम है जब R फेरर्स प्रकार का है।

दूसरी ओर, सीमांत(R) = ∅ जब R सघन, रैखिक, पूर्णतः अनुक्रम है।^[45]

गणितीय संग्रह (हीप)

दो समुच्चय A और B दिए गए हैं, उनके बीच द्विआधारी सम्बन्धों का समुच्चय ${\mathcal {B}}(A,B)$ एक टर्नरी संक्रिया $[a,\ b,\ c]\ =\ ab^{\textsf {T}}c$ से सुसज्जित हो सकता है जहां बीटी b के प्रतिलोम सम्बन्ध को दर्शाता है। 1953 में विक्टर वैगनर ने सेमीसंग्रह्स, संग्रह्स और सामान्यीकृत संग्रह्स को परिभाषित करने के लिए इस टर्नरी संक्रिया के गुणों का उपयोग किया।^[47]^[48] विजातीय और सजातीय सम्बन्धों के प्रतिलोम इन परिभाषाओं द्वारा उजागर किया गया है:

वैगनर के काम में ढेर, अर्ध-ढेर और सामान्यीकृत ढेर के बीच एक सुखद समरूपता है, और दूसरी ओर समूह, अर्ध-समूह और सामान्यीकृत समूह। अनिवार्य रूप से, जब भी हम विभिन्न सेट A और B के बीच द्विआधारी संबंधों (और आंशिक एक-एक मैपिंग) पर विचार करते हैं, तो विभिन्न प्रकार के सेमीहिप्स दिखाई देते हैं, जबकि विभिन्न प्रकार के सेमिग्रुप उस मामले में प्रकट होते हैं जहां A = B।
— क्रिस्टोफर हॉलिंग्स, "आयरन कर्टन के पार गणित: सेमीग्रुप के बीजीय सिद्धांत का इतिहास"^[49]

यह भी देखें

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

संदर्भ

↑ Meyer, Albert (17 November 2021). "कंप्यूटर विज्ञान के लिए MIT 6.042J गणित, व्याख्यान 3T, स्लाइड 2" (PDF). Archived (PDF) from the original on 2021-11-17.
↑ ^2.0 ^2.1 ^2.2 ^2.3 ^2.4 ^2.5 ^2.6 ^2.7 Codd, Edgar Frank (June 1970). "बड़े साझा डेटा बैंकों के लिए डेटा का एक संबंधपरक मॉडल" (PDF). Communications of the ACM. 13 (6): 377–387. doi:10.1145/362384.362685. S2CID 207549016. Retrieved 2020-04-29.
↑ "संबंध परिभाषा - गणित अंतर्दृष्टि". mathinsight.org. Retrieved 2019-12-11.
↑ ^4.0 ^4.1 Ernst Schröder (1895) Algebra und Logic der Relative, via Internet Archive
↑ ^5.0 ^5.1 C. I. Lewis (1918) A Survey of Symbolic Logic , pages 269 to 279, via internet Archive
↑ ^6.0 ^6.1 ^6.2 Gunther Schmidt, 2010. Relational Mathematics. Cambridge University Press, ISBN 978-0-521-76268-7, Chapt. 5
↑ Jacobson, Nathan (2009), Basic Algebra II (2nd ed.) § 2.1.
↑ Enderton 1977, Ch 3. pg. 40
↑ Hans Hermes (1973). Introduction to Mathematical Logic. Hochschultext (Springer-Verlag). London: Springer. ISBN 3540058192. ISSN 1431-4657. Sect.II.§1.1.4
↑ Suppes, Patrick (1972) [originally published by D. van Nostrand Company in 1960]. Axiomatic Set Theory. Dover. ISBN 0-486-61630-4.
↑ Smullyan, Raymond M.; Fitting, Melvin (2010) [revised and corrected republication of the work originally published in 1996 by Oxford University Press, New York]. Set Theory and the Continuum Problem. Dover. ISBN 978-0-486-47484-7.
↑ Levy, Azriel (2002) [republication of the work published by Springer-Verlag, Berlin, Heidelberg and New York in 1979]. Basic Set Theory. Dover. ISBN 0-486-42079-5.
↑ Schmidt, Gunther; Ströhlein, Thomas (2012). संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित. Springer Science & Business Media. Definition 4.1.1. ISBN 978-3-642-77968-8.
↑ Christodoulos A. Floudas; Panos M. Pardalos (2008). अनुकूलन का विश्वकोश (2nd ed.). Springer Science & Business Media. pp. 299–300. ISBN 978-0-387-74758-3.
↑ ^15.0 ^15.1 ^15.2 Michael Winter (2007). गोगुएन श्रेणियाँ: एल-फ़ज़ी संबंधों के लिए एक स्पष्ट दृष्टिकोण. Springer. pp. x–xi. ISBN 978-1-4020-6164-6.
↑ File:Wikibooks-logo-en-noslogan.svg Relative simultaneity at Wikibooks
↑ Beth, Thomas; Jungnickel, Dieter; Lenz, Hanfried (1986). डिजाइन सिद्धांत. Cambridge University Press. p. 15.. 2nd ed. (1999) ISBN 978-0-521-44432-3
↑ ^18.0 ^18.1 ^18.2 ^18.3
Kilp, Knauer and Mikhalev: p. 3. The same four definitions appear in the following:
- Peter J. Pahl; Rudolf Damrath (2001). Mathematical Foundations of Computational Engineering: A Handbook. Springer Science & Business Media. p. 506. ISBN 978-3-540-67995-0.
- Eike Best (1996). Semantics of Sequential and Parallel Programs. Prentice Hall. pp. 19–21. ISBN 978-0-13-460643-9.
- Robert-Christoph Riemann (1999). Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus. Herbert Utz Verlag. pp. 21–22. ISBN 978-3-89675-629-9.
↑ Mäs, Stephan (2007), "Reasoning on Spatial Semantic Integrity Constraints", Spatial Information Theory: 8th International Conference, COSIT 2007, Melbourne, Australia, September 19–23, 2007, Proceedings, Lecture Notes in Computer Science, vol. 4736, Springer, pp. 285–302, doi:10.1007/978-3-540-74788-8_18
↑ Yao, Y.Y.; Wong, S.K.M. (1995). "विशेषता मानों के बीच संबंधों का उपयोग करते हुए किसी न किसी सेट का सामान्यीकरण" (PDF). Proceedings of the 2nd Annual Joint Conference on Information Sciences: 30–33..
↑ Kunen, Kenneth (1980). सेट थ्योरी: इंट्रोडक्शन टू इंडिपेंडेंस प्रूफ. North-Holland. p. 102. ISBN 0-444-85401-0. Zbl 0443.03021.
↑ John C. Baez (6 Nov 2001). "कम्यूटेटिव रिग पर क्वांटम यांत्रिकी". Newsgroup: sci.physics.research. Usenet: 9s87n0$iv5@gap.cco.caltech.edu. Retrieved November 25, 2018.
↑ 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
↑ Tarski, Alfred; Givant, Steven (1987). चर के बिना सेट सिद्धांत की औपचारिकता. American Mathematical Society. p. 3. ISBN 0-8218-1041-3.
↑ M. E. Müller (2012). संबंधपरक ज्ञान की खोज. Cambridge University Press. p. 22. ISBN 978-0-521-19021-3.</रेफरी><ref name="PahlDamrath2001-p496">Peter J. Pahl; Rudolf Damrath (2001). कम्प्यूटेशनल इंजीनियरिंग की गणितीय नींव: एक पुस्तिका. Springer Science & Business Media. p. 496. ISBN 978-3-540-67995-0.
↑ Peter J. Pahl; Rudolf Damrath (2001). Mathematical Foundations of Computational Engineering: A Handbook. Springer Science & Business Media. p. 496. ISBN 978-3-540-67995-0.
↑ Smith, Douglas; Eggen, Maurice; St. Andre, Richard (2006), A Transition to Advanced Mathematics (6th ed.), Brooks/Cole, p. 160, ISBN 0-534-39900-2
↑ Nievergelt, Yves (2002), Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Springer-Verlag, p. 158.
↑ Flaška, V.; Ježek, J.; Kepka, T.; Kortelainen, J. (2007). बाइनरी रिलेशंस का सकर्मक क्लोजर I (PDF). Prague: School of Mathematics – Physics Charles University. p. 1. Archived from the original (PDF) on 2013-11-02. Lemma 1.1 (iv). This source refers to asymmetric relations as "strictly antisymmetric".
↑ Joseph G. Rosenstein, Linear orderings, Academic Press, 1982, ISBN 0-12-597680-1, p. 4
↑ ^31.0 ^31.1 Schmidt, Gunther; Ströhlein, Thomas (2012). संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित. Springer Science & Business Media. p. 77. ISBN 978-3-642-77968-8.
↑ 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
↑ R. Berghammer & M. Winter (2013) "Decomposition of relations on concept lattices", Fundamenta Informaticae 126(1): 37–82 doi:10.3233/FI-2013-871
↑ Ki Hang Kim (1982) Boolean Matrix Theory and Applications, page 37, Marcel Dekker ISBN 0-8247-1788-0
↑ 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 MR2781235
↑ Riguet, Jacques (January 1950). "विविध संबंधों के कुछ गुण". Comptes rendus (in français). 230: 1999–2000.
↑ Julius Richard Büchi (1989). परिमित ऑटोमेटा, उनके बीजगणित और व्याकरण: औपचारिक अभिव्यक्तियों के सिद्धांत की ओर. Springer Science & Business Media. pp. 35–37. ISBN 978-1-4613-8853-1.
↑ East, James; Vernitski, Alexei (February 2018). "द्विकार्यात्मक द्विआधारी संबंधों के प्रतिलोम अर्धसमूहों में आदर्शों की श्रेणी". Semigroup Forum. 96 (1): 21–30. arXiv:1612.04935. doi:10.1007/s00233-017-9846-9. S2CID 54527913.
↑ Chris Brink; Wolfram Kahl; Gunther Schmidt (1997). कंप्यूटर विज्ञान में संबंधपरक तरीके. Springer Science & Business Media. p. 200. ISBN 978-3-211-82971-4.
↑ 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
↑ Gumm, H. P.; Zarrad, M. (2014). "Coalgebraic Simulations and Congruences". कंप्यूटर विज्ञान में कोलजेब्रिक तरीके. Lecture Notes in Computer Science. Vol. 8446. p. 118. doi:10.1007/978-3-662-44124-4_7. ISBN 978-3-662-44123-7.
↑ J. Riguet (1951) "Les relations de Ferrers", Comptes Rendus 232: 1729,30
↑ Georg Aumann (1971). "संपर्क संबंध". Sitzungsberichte der mathematisch-physikalischen Klasse der Bayerischen Akademie der Wissenschaften München. 1970 (II): 67–77.
↑ Anne K. Steiner (1970) Review:Kontakt-Relationen from Mathematical Reviews
↑ ^45.0 ^45.1 ^45.2 Gunther Schmidt (2011) Relational Mathematics, pages 211−15, Cambridge University Press ISBN 978-0-521-76268-7
↑ In this context, the symbol $\,\backslash \,$ does not mean "set difference".
↑ Viktor Wagner (1953) "The theory of generalised heaps and generalised groups", Matematicheskii Sbornik 32(74): 545 to 632 MR0059267
↑ C.D. Hollings & M.V. Lawson (2017) Wagner's Theory of Generalised Heaps, Springer books ISBN 978-3-319-63620-7 MR3729305
↑ 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

ग्रन्थसूची

Schmidt, Gunther; Ströhlein, Thomas (2012). "Chapter 3: Heterogeneous relations". Relations and Graphs: Discrete Mathematics for Computer Scientists. Springer Science & Business Media. ISBN 978-3-642-77968-8.
Ernst Schröder (1895) Algebra der Logik, Band III, via Internet Archive
Codd, Edgar Frank (1990). The Relational Model for Database Management: Version 2 (PDF). Boston: Addison-Wesley. ISBN 978-0201141924. Archived (PDF) from the original on 2022-10-09.
Enderton, Herbert (1977). Elements of Set Theory. Boston: Academic Press. ISBN 978-0-12-238440-0.
Kilp, Mati; Knauer, Ulrich; Mikhalev, Alexander (2000). Monoids, Acts and Categories: with Applications to Wreath Products and Graphs. Berlin: De Gruyter. ISBN 978-3-11-015248-7.
Peirce, Charles Sanders (1873). "Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic". Memoirs of the American Academy of Arts and Sciences. 9 (2): 317–178. Bibcode:1873MAAAS...9..317P. doi:10.2307/25058006. hdl:2027/hvd.32044019561034. JSTOR 25058006. Retrieved 2020-05-05.
Schmidt, Gunther (2010). Relational Mathematics. Cambridge: Cambridge University Press. ISBN 978-0-521-76268-7.

बाहरी सम्बन्ध

File:Commons-logo.svg Media related to Binary relations at Wikimedia Commons
"Binary relation", Encyclopedia of Mathematics, EMS Press, 2001 [1994]

[10] 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₁...x_n (prefix notation).^[9]

[1] Meyer, Albert (17 November 2021). "कंप्यूटर विज्ञान के लिए MIT 6.042J गणित, व्याख्यान 3T, स्लाइड 2" (PDF). Archived (PDF) from the original on 2021-11-17.

[Codd1970-2] 2.0 ^2.1 ^2.2 ^2.3 ^2.4 ^2.5 ^2.6 ^2.7 Codd, Edgar Frank (June 1970). "बड़े साझा डेटा बैंकों के लिए डेटा का एक संबंधपरक मॉडल" (PDF). Communications of the ACM. 13 (6): 377–387. doi:10.1145/362384.362685. S2CID 207549016. Retrieved 2020-04-29.

[3] "संबंध परिभाषा - गणित अंतर्दृष्टि". mathinsight.org. Retrieved 2019-12-11.

[Schroder.1895-4] 4.0 ^4.1 Ernst Schröder (1895) Algebra und Logic der Relative, via Internet Archive

[Lewis.1918-5] 5.0 ^5.1 C. I. Lewis (1918) A Survey of Symbolic Logic , pages 269 to 279, via internet Archive

[gs-6] 6.0 ^6.1 ^6.2 Gunther Schmidt, 2010. Relational Mathematics. Cambridge University Press, ISBN 978-0-521-76268-7, Chapt. 5

[7] Jacobson, Nathan (2009), Basic Algebra II (2nd ed.) § 2.1.

[8] Enderton 1977, Ch 3. pg. 40

[9] Hans Hermes (1973). Introduction to Mathematical Logic. Hochschultext (Springer-Verlag). London: Springer. ISBN 3540058192. ISSN 1431-4657. Sect.II.§1.1.4

[suppes-11] Suppes, Patrick (1972) [originally published by D. van Nostrand Company in 1960]. Axiomatic Set Theory. Dover. ISBN 0-486-61630-4.

[smullyan-12] Smullyan, Raymond M.; Fitting, Melvin (2010) [revised and corrected republication of the work originally published in 1996 by Oxford University Press, New York]. Set Theory and the Continuum Problem. Dover. ISBN 978-0-486-47484-7.

[levy-13] Levy, Azriel (2002) [republication of the work published by Springer-Verlag, Berlin, Heidelberg and New York in 1979]. Basic Set Theory. Dover. ISBN 0-486-42079-5.

[Schmidt-14] Schmidt, Gunther; Ströhlein, Thomas (2012). संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित. Springer Science & Business Media. Definition 4.1.1. ISBN 978-3-642-77968-8.

[FloudasPardalos2008-15] Christodoulos A. Floudas; Panos M. Pardalos (2008). अनुकूलन का विश्वकोश (2nd ed.). Springer Science & Business Media. pp. 299–300. ISBN 978-0-387-74758-3.

[Winter2007-16] 15.0 ^15.1 ^15.2 Michael Winter (2007). गोगुएन श्रेणियाँ: एल-फ़ज़ी संबंधों के लिए एक स्पष्ट दृष्टिकोण. Springer. pp. x–xi. ISBN 978-1-4020-6164-6.

[17] File:Wikibooks-logo-en-noslogan.svg Relative simultaneity at Wikibooks

[18] Beth, Thomas; Jungnickel, Dieter; Lenz, Hanfried (1986). डिजाइन सिद्धांत. Cambridge University Press. p. 15.. 2nd ed. (1999) ISBN 978-0-521-44432-3

[kkm-19] 18.0 ^18.1 ^18.2 ^18.3 Kilp, Knauer and Mikhalev: p. 3. The same four definitions appear in the following:
Peter J. Pahl; Rudolf Damrath (2001). Mathematical Foundations of Computational Engineering: A Handbook. Springer Science & Business Media. p. 506. ISBN 978-3-540-67995-0.

Eike Best (1996). Semantics of Sequential and Parallel Programs. Prentice Hall. pp. 19–21. ISBN 978-0-13-460643-9.

Robert-Christoph Riemann (1999). Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus. Herbert Utz Verlag. pp. 21–22. ISBN 978-3-89675-629-9.

[20] Peter J. Pahl; Rudolf Damrath (2001). Mathematical Foundations of Computational Engineering: A Handbook. Springer Science & Business Media. p. 506. ISBN 978-3-540-67995-0.

[21] Eike Best (1996). Semantics of Sequential and Parallel Programs. Prentice Hall. pp. 19–21. ISBN 978-0-13-460643-9.

[22] Robert-Christoph Riemann (1999). Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus. Herbert Utz Verlag. pp. 21–22. ISBN 978-3-89675-629-9.

[20] Mäs, Stephan (2007), "Reasoning on Spatial Semantic Integrity Constraints", Spatial Information Theory: 8th International Conference, COSIT 2007, Melbourne, Australia, September 19–23, 2007, Proceedings, Lecture Notes in Computer Science, vol. 4736, Springer, pp. 285–302, doi:10.1007/978-3-540-74788-8_18

[21] Yao, Y.Y.; Wong, S.K.M. (1995). "विशेषता मानों के बीच संबंधों का उपयोग करते हुए किसी न किसी सेट का सामान्यीकरण" (PDF). Proceedings of the 2nd Annual Joint Conference on Information Sciences: 30–33..

[22] Kunen, Kenneth (1980). सेट थ्योरी: इंट्रोडक्शन टू इंडिपेंडेंस प्रूफ. North-Holland. p. 102. ISBN 0-444-85401-0. Zbl 0443.03021.

[23] John C. Baez (6 Nov 2001). "कम्यूटेटिव रिग पर क्वांटम यांत्रिकी". Newsgroup: sci.physics.research. Usenet: 9s87n0$iv5@gap.cco.caltech.edu. Retrieved November 25, 2018.

[droste-24] 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

[25] Tarski, Alfred; Givant, Steven (1987). चर के बिना सेट सिद्धांत की औपचारिकता. American Mathematical Society. p. 3. ISBN 0-8218-1041-3.

[Müller2012-26] M. E. Müller (2012). संबंधपरक ज्ञान की खोज. Cambridge University Press. p. 22. ISBN 978-0-521-19021-3.</रेफरी><ref name="PahlDamrath2001-p496">Peter J. Pahl; Rudolf Damrath (2001). कम्प्यूटेशनल इंजीनियरिंग की गणितीय नींव: एक पुस्तिका. Springer Science & Business Media. p. 496. ISBN 978-3-540-67995-0.

[PahlDamrath2001-p496-27] Peter J. Pahl; Rudolf Damrath (2001). Mathematical Foundations of Computational Engineering: A Handbook. Springer Science & Business Media. p. 496. ISBN 978-3-540-67995-0.

[28] Smith, Douglas; Eggen, Maurice; St. Andre, Richard (2006), A Transition to Advanced Mathematics (6th ed.), Brooks/Cole, p. 160, ISBN 0-534-39900-2

[29] Nievergelt, Yves (2002), Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Springer-Verlag, p. 158.

[30] Flaška, V.; Ježek, J.; Kepka, T.; Kortelainen, J. (2007). बाइनरी रिलेशंस का सकर्मक क्लोजर I (PDF). Prague: School of Mathematics – Physics Charles University. p. 1. Archived from the original (PDF) on 2013-11-02. Lemma 1.1 (iv). This source refers to asymmetric relations as "strictly antisymmetric".

[31] Joseph G. Rosenstein, Linear orderings, Academic Press, 1982, ISBN 0-12-597680-1, p. 4

[Schmidt_p.77-32] 31.0 ^31.1 Schmidt, Gunther; Ströhlein, Thomas (2012). संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित. Springer Science & Business Media. p. 77. ISBN 978-3-642-77968-8.

[33] 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

[34] R. Berghammer & M. Winter (2013) "Decomposition of relations on concept lattices", Fundamenta Informaticae 126(1): 37–82 doi:10.3233/FI-2013-871

[35] Ki Hang Kim (1982) Boolean Matrix Theory and Applications, page 37, Marcel Dekker ISBN 0-8247-1788-0

[36] 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 MR2781235

[37] Riguet, Jacques (January 1950). "विविध संबंधों के कुछ गुण". Comptes rendus (in français). 230: 1999–2000.

[Büchi1989-38] Julius Richard Büchi (1989). परिमित ऑटोमेटा, उनके बीजगणित और व्याकरण: औपचारिक अभिव्यक्तियों के सिद्धांत की ओर. Springer Science & Business Media. pp. 35–37. ISBN 978-1-4613-8853-1.

[39] East, James; Vernitski, Alexei (February 2018). "द्विकार्यात्मक द्विआधारी संबंधों के प्रतिलोम अर्धसमूहों में आदर्शों की श्रेणी". Semigroup Forum. 96 (1): 21–30. arXiv:1612.04935. doi:10.1007/s00233-017-9846-9. S2CID 54527913.

[BrinkKahl1997-40] Chris Brink; Wolfram Kahl; Gunther Schmidt (1997). कंप्यूटर विज्ञान में संबंधपरक तरीके. Springer Science & Business Media. p. 200. ISBN 978-3-211-82971-4.

[41] 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

[42] Gumm, H. P.; Zarrad, M. (2014). "Coalgebraic Simulations and Congruences". कंप्यूटर विज्ञान में कोलजेब्रिक तरीके. Lecture Notes in Computer Science. Vol. 8446. p. 118. doi:10.1007/978-3-662-44124-4_7. ISBN 978-3-662-44123-7.

[43] J. Riguet (1951) "Les relations de Ferrers", Comptes Rendus 232: 1729,30

[44] Georg Aumann (1971). "संपर्क संबंध". Sitzungsberichte der mathematisch-physikalischen Klasse der Bayerischen Akademie der Wissenschaften München. 1970 (II): 67–77.

[45] Anne K. Steiner (1970) Review:Kontakt-Relationen from Mathematical Reviews

[GS11-46] 45.0 ^45.1 ^45.2 Gunther Schmidt (2011) Relational Mathematics, pages 211−15, Cambridge University Press ISBN 978-0-521-76268-7

[47] In this context, the symbol $\,\backslash \,$ does not mean "set difference".

[48] Viktor Wagner (1953) "The theory of generalised heaps and generalised groups", Matematicheskii Sbornik 32(74): 545 to 632 MR0059267

[49] C.D. Hollings & M.V. Lawson (2017) Wagner's Theory of Generalised Heaps, Springer books ISBN 978-3-319-63620-7 MR3729305

[50] 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

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[note 1]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

[46]

[47]

[48]

[49]

[9]

Anonymous

Search

बाइनरी संबंध: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 09:49, 17 December 2022

Contents

परिभाषा

उदाहरण

विशेष प्रकार के द्विआधारी सम्बन्ध

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

संश्रय

उभयनिष्ठ

संघटन

प्रतिलोम

पूरक (कॉम्प्लीमेंट)

प्रतिबंध

आव्यूह निरूपण

समुच्चय बनाम वर्ग

सजातीय सम्बन्ध

विजातीय सम्बन्ध

सम्बन्धों की गणना

प्रेरित अवधारणा जालक

विशेष सम्बन्ध

द्विक्रियात्मक (डाईफंक्शनल)

फेरर्स प्रकार

संपर्क

प्राग्क्रम (प्रीऑर्डर) R\R

सम्बन्ध की सीमांत (फ्रिंज)

गणितीय संग्रह (हीप)

यह भी देखें

टिप्पणियाँ

संदर्भ

ग्रन्थसूची

बाहरी सम्बन्ध

Navigation

Navigation

Wiki tools

Wiki tools

@@ Line 1: / Line 1: @@
 {{Short description|Relationship between two sets, defined by a set of ordered pairs}}
-{{hatnote|This article covers advanced notions. For basic topics, see [[Relation (mathematics)]].}}
+{{hatnote|यह लेख उन्नत धारणाओं को समिल्लित करता है। मूलभूत विषयों के लिए, [[संबंध (गणित)]] देखें।}}
-{{Binary relations}}
+{{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
+गणित में, '''द्विआधारी (बाइनरी) सम्बन्ध''' किसी समुच्चय के अवयवों को सम्मिलित करता है, जिसे ''प्रान्त (डोमेन)'' कहा जाता है, तथा किसी अन्य समुच्चय के अवयवों के साथ, ''सहप्रांत (कोडोमेन)'' कहलाता है।<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" />
+|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" />
-द्विआधारी संबंध का एक उदाहरण [[अभाज्य संख्या]] 11 के सेट और पूर्णांक 22 के सेट पर "विभाजित" संबंध है, जिसमें प्रत्येक अभाज्य p प्रत्येक पूर्णांक z से संबंधित है जो कि p का गुणज है, लेकिन उस पूर्णांक से नहीं जो p का गुणज नहीं है। इस संबंध में, उदाहरण के लिए, अभाज्य संख्या 2 -11 जैसी संख्याओं से संबंधित है, लेकिन 1 या 9 से नहीं, ठीक वैसे ही जैसे अभाज्य संख्या 3 0, 6 और 9 से संबंधित है, लेकिन 4 या 13 से नहीं।
+द्विआधारी सम्बन्ध का एक उदाहरण [[अभाज्य संख्या]] <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 से नहीं।
-द्विआधारी संबंध का एक उदाहरण ओं के समुच्चय पर [[विभाजित]] संबंध है <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> [[कंप्यूटर विज्ञान|संगणक विज्ञान]] में द्विआधारी सम्बन्धों का भी अत्यधिक उपयोग किया जाता है।
-* अ[[समानता (गणित)]], समानता (गणित), और [[अंकगणित]] में संबंधों को विभाजित करता है;
-* [[ज्यामिति]] में [[सर्वांगसमता (ज्यामिति)]] संबंध;
-* [[ग्राफ सिद्धांत]] में संबंध के निकट है;
-* रैखिक बीजगणित में संबंध के लिए [[ओर्थोगोनल]] है।
-एक फलन (गणित) को एक विशेष प्रकार के द्विआधारी संबंध के रूप में परिभाषित किया जा सकता है।<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।
-सेट पर एक द्विआधारी संबंध {{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 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 />संबंधों के गहन विश्लेषण में उन्हें उपसमुच्चय में विघटित करना शामिल है {{em|concepts}}, और उन्हें एक [[पूर्ण जाली]] में रखकर।
-[[स्वयंसिद्ध सेट सिद्धांत]] की कुछ प्रणालियों में, संबंध [[वर्ग (गणित)]] तक विस्तारित होते हैं, जो सेट के सामान्यीकरण होते हैं। इस विस्तार की आवश्यकता अन्य बातों के अलावा, रसेल के विरोधाभास जैसी तार्किक विसंगतियों में चलने के बिना, सेट थ्योरी का एक तत्व है या का एक सबसेट है, की अवधारणाओं को मॉडलिंग करना है।
-शर्तें {{em|correspondence}},<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> युग्मक संबंध<!---[[Dyadic relation]]---> और दो जगह संबंध<!---[[Two-place relation]]---> द्विआधारी संबंध के पर्यायवाची हैं, हालांकि कुछ लेखक कार्टेशियन उत्पाद के किसी भी सबसेट के लिए द्विआधारी संबंध शब्द का उपयोग करते हैं <math>X \times Y</math> के संदर्भ के बिना {{mvar|X}} तथा {{mvar|Y}}, और संदर्भ के साथ एक द्विआधारी संबंध के लिए शब्द पत्राचार आरक्षित करें {{mvar|X}} तथा {{mvar|Y}}.{{citation needed|reason=Who?|date=June 2021}}
+[[स्वयंसिद्ध सेट सिद्धांत|स्वयंसिद्ध समुच्चय सिद्धांत]] की कुछ प्रणालियों में, सम्बन्धों को [[वर्ग (गणित)|वर्गों]] तक विस्तारित किया जाता है, जो समुच्चयों का सामान्यीकरण है। रसेल के विरोधाभास जैसे तार्किक विसंगतियों में भाग लिए बिना, अन्य बातों के अतिरिक्त, इस विस्तार की आवश्यकता समुच्चय सिद्धांत में "का एक अवयव है" या "का एक उपसमुच्चय है" की अवधारणाओं को मॉडलिंग करने के लिए है।
+संबंध ''समतुल्यता'',<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'', कार्तीय गुणनफल <math>X \times Y</math> को <math>\{ (x, y) : x \in X \text{ and } y \in Y \},</math> के रूप में परिभाषित किया गया है और इसके अवयवों को क्रमित युग्म कहा जाता है।
-ए {{em|binary relation}} R ओवर सेट X और Y का एक उपसमुच्चय है <math>X \times Y.</math><ref name="Codd1970" /><ref>{{harvnb|Enderton|1977|loc=Ch 3. pg. 40}}</ref> समुच्चय X कहलाता है {{em|domain}}<ref name="Codd1970" />या {{em|set of departure}} आर का, और सेट वाई {{em|codomain}} या {{em|set of destination}} R का। सेट X और Y के विकल्पों को निर्दिष्ट करने के लिए, कुछ लेखक परिभाषित करते हैं {{em|binary relation}} या {{em|correspondence}} एक आदेशित ट्रिपल के रूप में {{math|(''X'', ''Y'', ''G'')}}, जहां G का उपसमुच्चय है <math>X \times Y</math> इसको कॉल किया गया {{em|graph}} द्विआधारी संबंध का। कथन <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}}  {{em|domain of definition}} }} या {{em|active domain}}<ref name="Codd1970" />R का सभी x का ऐसा समुच्चय है कि कम से कम एक y के लिए xRy है। परिभाषा का कोडोमेन, {{em|active codomain}},<ref name="Codd1970" /> {{em|image}} या {{em|range}} का R सभी y का ऐसा समुच्चय है कि xRy कम से कम एक x के लिए। {{em|field}} R का }} परिभाषा के अपने डोमेन और परिभाषा के कोडोमेन का संघ है।<ref name="suppes">
+समुच्चय ''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
@@ Line 68: / Line 64: @@
 }}
 </ref>
-कब <math>X = Y,</math> एक द्विआधारी संबंध कहा जाता है {{em|[[homogeneous relation]]}} (या {{em|endorelation}}). इस तथ्य पर जोर देने के लिए कि 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 को विभाजित नहीं करता है।
+जब <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;"
-|+ 2nd example relation
+|+ द्वितीय उदाहरण सम्बन्ध
 ! {{diagonal split header|{{math|''B''{{prime}}}}|{{math|''A''}}}}
-! scope="col" | ball
+! scope="col" | बॉल
-! scope="col" | car
+! scope="col" | कार
-! scope="col" | doll
+! scope="col" | डॉल
-! scope="col" | cup
+! scope="col" | कप
 |-
-! scope="row" | John
+! scope="row" | जॉन
 | '''+''' || − || − || −
 |-
-! scope="row" | Mary
+! scope="row" | मैरी
 | − || − || '''+''' || −
 |-
-! scope="row" | Venus
+! scope="row" | वीनस
 | − || '''+''' || − || −
 |}
 {| class="wikitable" style="float: right; margin-left:1em; text-align:center;"
-|+ 1st example relation
+|+ प्रथम उदाहरण सम्बन्ध
 ! {{diagonal split header|{{math|''B''}}|{{math|''A''}}}}
-! scope="col" | ball
+! scope="col" | बॉल
-! scope="col" | car
+! scope="col" | कार
-! scope="col" | doll
+! scope="col" | डॉल
-! scope="col" | cup
+! scope="col" | कप
 |-
-! scope="row" | John
+! scope="row" | जॉन
 | '''+''' || − || − || −
 |-
-! scope="row" | Mary
+! scope="row" | मैरी
 | − || − || '''+''' || −
 |-
-! scope="row" | Ian
+! scope="row" | इयान
 | − || − || − || −
 |-
-! scope="row" | Venus
+! scope="row" | वीनस
 | − || '''+''' || − || −
 |}
-) निम्नलिखित उदाहरण से पता चलता है कि कोडोमेन का चुनाव महत्वपूर्ण है। मान लीजिए कि चार वस्तुएं हैं <math>A = \{ \text{ball, car, doll, cup} \}</math> और चार लोग <math>B = \{ \text{John, Mary, Ian, Venus} \}.</math> ए और बी पर एक संभावित संबंध, द्वारा दिया गया संबंध है <math>R = \{ (\text{ball, John}), (\text{doll, Mary}), (\text{car, Venus}) \}.</math> यही है, जॉन गेंद का मालिक है, मैरी गुड़िया का मालिक है, और वीनस कार का मालिक है। किसी के पास कप नहीं है और इयान के पास कुछ भी नहीं है; पहला उदाहरण देखें। एक समुच्चय के रूप में, R में इयान शामिल नहीं है, और इसलिए R को एक उपसमुच्चय के रूप में देखा जा सकता था <math>A \times \{ \text{John, Mary, Venus} \},</math> यानी ए और से अधिक संबंध <math>\{ \text{John, Mary, Venus} \};</math> दूसरा उदाहरण देखें। जबकि दूसरा उदाहरण संबंध विशेषण है (#विशेष प्रकार के द्विआधारी संबंध देखें), पहला नहीं है।
+) निम्नलिखित उदाहरण से पता चलता है कि सहप्रांत का चयन महत्वपूर्ण है। मान लीजिए कि चार वस्तुएँ <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> पर एक सम्बन्ध, द्वितीय उदाहरण देखें। जबकि द्वितीय उदाहरण सम्बन्ध आच्छादक है (नीचे देखें), पहला नहीं है।
+) मान लीजिए कि A = {भारतीय, आर्कटिक, अटलांटिक, प्रशांत}, विश्व के [[सागर|महासागर]], और B = {एनए, एसए, एएफ, ईयु, एएस, एयु, एए}, [[महाद्वीप]] हैं। माना ''aRb'' उस महासागर को निरूपित करता है जो महाद्वीप b की सीमा बनाता है। तब इस सम्बन्ध के लिए [[तार्किक मैट्रिक्स|तार्किक आव्यूह]] है:
 [[File:Oceans and continents coarse.png|thumb|250px|right|महासागर और महाद्वीप (छोड़े गए द्वीप)]]
 {|  class="wikitable" style="float: right; margin-left:1em; text-align:center;"
-|+Ocean borders continent
+|+महासागर की सीमाएँ महाद्वीप
 !
-! scope="col" | NA
+! scope="col" | एनए
-! scope="col"      | SA
+! scope="col"      | एसए
-! scope="col"            | AF
+! scope="col"            | एएफ
-! scope="col"                 | EU
+! scope="col"                 | ईयु
-! scope="col"                       | AS
+! scope="col"                       | एएस
-! scope="col"                             | AU
+! scope="col"                             | एयु
-! scope="col"                                  | AA
+! scope="col"                                  | एए
 |-
-! scope="row" | Indian
+! scope="row" | भारतीय
 |0||0||1||0||1||1||1
 |-
-! scope="row" | Arctic
+! scope="row" | आर्कटिक
 |1||0||0||1||1||0||0
 |-
-! scope="row" | Atlantic
+! scope="row" | अटलांटिक
 |1||1||1||1||0||0||1
 |-
-! scope="row" | Pacific
+! scope="row" | प्रशांत
 |1||1||0||0||1||1||1
 |}
-) माना A = {भारतीय, आर्कटिक, अटलांटिक, प्रशांत}, विश्व के महा[[सागर]], और B = {NA, SA, AF, EU, AS, AU, AA}, [[महाद्वीप]]। मान लीजिए aRb उस महासागर को निरूपित करता है जिसकी सीमा महाद्वीप b है। तब इस संबंध के लिए [[तार्किक मैट्रिक्स]] है:
 :<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>
-आर आर के माध्यम से पृथ्वी ग्रह की संयोजकता को देखा जा सकता है<sup>टी</सुप> और आर<sup>टी</sup> आर, पूर्व एक है <math>4 \times 4</math> ए पर संबंध, जो सार्वभौमिक संबंध है (<math>A \times A</math> या सभी का तार्किक मैट्रिक्स)। यह सार्वभौमिक संबंध इस तथ्य को दर्शाता है कि प्रत्येक महासागर दूसरे महाद्वीपों से अधिक से अधिक एक महाद्वीप से अलग होता है। दूसरी ओर, आर<sup>T</sup> R पर संबंध है <math>B \times B</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> पर एक सम्बन्ध है जो सार्वभौमिक होने में ''विफल'' रहता है क्योंकि [[यूरोप]] से [[ऑस्ट्रेलिया]] तक यात्रा करने के लिए कम से कम दो महासागरों की यात्रा करनी चाहिए।
-) संबंधों का चित्रण ग्राफ सिद्धांत पर निर्भर करता है: एक सेट (सजातीय संबंध) पर संबंधों के लिए, एक [[निर्देशित ग्राफ]] एक संबंध और एक [[ग्राफ (असतत गणित)]] एक [[सममित संबंध]] दिखाता है। विषम संबंधों के लिए एक [[hypergraph]] में संभवतः दो से अधिक नोड्स के किनारे होते हैं, और एक द्विदलीय ग्राफ द्वारा चित्रित किया जा सकता है।
+) सम्बन्धों का चित्रण ग्राफ सिद्धांत पर निर्भर करता है: एक समुच्चय (सजातीय सम्बन्ध) पर सम्बन्धों के लिए, एक [[निर्देशित ग्राफ]] एक सम्बन्ध और एक [[ग्राफ (असतत गणित)|ग्राफ]] एक [[सममित संबंध|सममित सम्बन्ध]] दिखाता है। विजातीय सम्बन्धों के लिए एक [[hypergraph|हाइपरग्राफ]] के किनारे संभवतः दो से अधिक नोड्स के साथ होते हैं, और एक द्विपक्षीय ग्राफ द्वारा चित्रित किया जा सकता है।
-जिस तरह [[गुट (ग्राफ सिद्धांत)]] एक सेट पर संबंधों का अभिन्न अंग है, उसी तरह विषम संबंधों का वर्णन करने के लिए [[biclique]] का उपयोग किया जाता है; वास्तव में, वे ऐसी अवधारणाएँ हैं जो एक संबंध से जुड़ी एक जाली उत्पन्न करती हैं।
+जिस प्रकार [[गुट (ग्राफ सिद्धांत)|गुट]] किसी समुच्चय पर सम्बन्धों का अभिन्न अंग है, उसी प्रकार विजातीय सम्बन्धों का वर्णन करने के लिए [[biclique|द्विगुणित]] का उपयोग किया जाता है; वास्तव में, वे "अवधारणाएँ" हैं जो एक सम्बन्ध से जुड़ी एक जालकी उत्पन्न करती हैं।[[File:Add_velocity_ark_POV.svg|right|thumb|200px|विभिन्न ''t'' अक्ष गति में पर्यवेक्षकों के लिए समय का निरूपण करते हैं, सम्बन्धित ''x'' अक्ष उनकी समकालिकता की रेखाएं हैं I]]4) [[हाइपरबोलिक ऑर्थोगोनलिटी|अतिपरवलकीय लम्बकोणीयता]]: समय और स्थान विभिन्न श्रेणियां हैं, और कालगत गुण स्थानिक गुणों से अलग हैं। ''समकालिक घटनाओं'' का विचार निरपेक्ष समय और स्थान में सरल है क्योंकि हर बार ''t'' उस ब्रह्माण्ड विज्ञान में एक साथ होने वाले [[hyperplane|अधिसमतल]] को निर्धारित करता है। [[हरमन मिन्कोव्स्की]] ने इसे बदल दिया जब उन्होंने सापेक्ष समकालिकता की धारणा को व्यक्त किया, जो कि तब उपस्थित होता है जब स्थानिक घटनाएं एक वेग की विशेषता वाले समय के लिए "सामान्य" होती हैं। उन्होंने एक अनिश्चित आंतरिक गुणन का उपयोग किया, और निर्दिष्ट किया कि एक समय सदिश एक सदिश के लिए सामान्य होता है जब वह गुणन शून्य होता है। [[रचना बीजगणित|संघटन बीजगणित]] में अनिश्चित आंतरिक गुणन किसके द्वारा दिया जाता है
-[[File:Add_velocity_ark_POV.svg|right|thumb|200px|विभिन्न टी अक्ष गति में पर्यवेक्षकों के लिए समय का प्रतिनिधित्व करते हैं, संबंधित एक्स अक्ष उनकी समकालिकता की रेखाएं हैं I]]4) [[हाइपरबोलिक ऑर्थोगोनलिटी]]: समय और स्थान अलग-अलग श्रेणियां हैं, और अस्थायी गुण स्थानिक गुणों से अलग हैं। के विचार {{em|simultaneous events}} निरपेक्ष समय और स्थान में सरल है क्योंकि हर बार t उस ब्रह्माण्ड विज्ञान में एक साथ [[hyperplane]] निर्धारित करता है। [[हरमन मिन्कोव्स्की]] ने इसे बदल दिया जब उन्होंने की धारणा को व्यक्त किया {{em|relative simultaneity}}, जो तब मौजूद होता है जब स्थानिक घटनाएँ एक वेग की विशेषता वाले समय के लिए सामान्य होती हैं। उन्होंने एक अनिश्चित आंतरिक उत्पाद का उपयोग किया, और निर्दिष्ट किया कि एक समय वेक्टर एक अंतरिक्ष वेक्टर के लिए सामान्य होता है जब वह उत्पाद शून्य होता है। [[रचना बीजगणित]] में अनिश्चित आंतरिक उत्पाद किसके द्वारा दिया जाता है
 :<math><x, z> \ =\ x \bar{z} + \bar{x}z\;</math> जहां ओवरबार संयुग्मन को दर्शाता है।
-कुछ लौकिक घटनाओं और कुछ स्थानिक घटनाओं के बीच संबंध के रूप में, अतिशयोक्तिपूर्ण रूढ़िवादिता (जैसा कि [[विभाजित-जटिल संख्या]]ओं में पाया जाता है) एक विषम संबंध है।<ref>{{wikibooks-inline|Calculus/Hyperbolic angle#Split-complex theory|Relative simultaneity}}</ref>
+कुछ लौकिक घटनाओं और कुछ स्थानिक घटनाओं के बीच सम्बन्ध के रूप में, अतिपरवलकीय लम्बकोणीयता (जैसा कि [[विभाजित-जटिल संख्या|विभाजित-समिश्र संख्याओं]] में पाया जाता है) विजातीय सम्बन्ध है।<ref>{{wikibooks-inline|Calculus/Hyperbolic angle#Split-complex theory|Relative simultaneity}}</ref>
-) एक [[ज्यामितीय विन्यास]] को उसके बिंदुओं और उसकी रेखाओं के बीच संबंध माना जा सकता है। संबंध को [[घटना संबंध]] के रूप में व्यक्त किया जाता है। परिमित और अनंत प्रोजेक्टिव और एफ़िन प्लेन शामिल हैं। [[जैकब स्टेनर]] ने [[स्टेनर प्रणाली]] के साथ विन्यासों की सूची बनाने का बीड़ा उठाया <math>\text{S}(t, k, n)</math> जिसमें एक n-एलिमेंट सेट S और k-एलिमेंट सबसेट का एक सेट होता है जिसे 'ब्लॉक' कहा जाता है, जैसे कि t एलिमेंट वाला सबसेट सिर्फ एक ब्लॉक में होता है। इन [[घटना संरचना]]ओं को [[ब्लॉक डिजाइन]]ों के साथ सामान्यीकृत किया गया है। इन ज्यामितीय संदर्भों में प्रयुक्त [[घटना मैट्रिक्स]] आमतौर पर द्विआधारी संबंधों के साथ उपयोग किए जाने वाले तार्किक मैट्रिक्स से मेल खाती है।
-: एक घटना संरचना एक ट्रिपल 'डी' = (वी, 'बी', आई) है जहां वी और 'बी' दो अलग-अलग सेट हैं और मैं वी और 'बी' के बीच एक द्विआधारी संबंध है, यानी। <math>I \subseteq V \times \textbf{B}.</math> V के अवयव कहलायेंगे {{em|points}}, बी ब्लॉक वाले और वो {{em|I flags}}.<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>
-== विशेष प्रकार के द्विआधारी संबंध ==
+) [[ज्यामितीय विन्यास]] को उसके बिंदुओं और उसकी रेखाओं के बीच के सम्बन्ध के रूप में माना जा सकता है। सम्बन्ध को [[घटना संबंध|घटना]] के रूप में व्यक्त किया जाता है। परिमित और अनंत प्रक्षेपी और एफ़ाइन तल सम्मिलित हैं। [[जैकब स्टेनर]] ने [[स्टेनर प्रणाली]] <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 नीचे सूचीबद्ध हैं।
+[[File:The four types of binary relations.png|thumb|[[वास्तविक संख्या|वास्तविक संख्याओं]] पर चार प्रकार के द्विआधारी सम्बन्धों के उदाहरण: वन-टू-वन (हरे रंग में), वन-टू-मैनी (नीले रंग में), मैनी-टू-वन (लाल रंग में), मैनी-टू-मैनी (काले रंग में) ).]]समुच्चय ''X'' और ''Y'' पर कुछ महत्वपूर्ण प्रकार के द्विआधारी सम्बन्ध ''R'' नीचे सूचीबद्ध हैं।
 विशिष्टता गुण:
-* 'इंजेक्शन'<!---keep boldface: [[Injective relation]] redirects here---> (जिसे वाम-अद्वितीय भी कहा जाता है):<!---[[Left-unique relation]]---><ref name=kkm/>सभी के लिए <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">Kilp, Knauer and Mikhalev: p.&nbsp;3. The same four definitions appear in the following:
-* कार्यात्मक<!---[[Functional relation]]---> (जिसे सही-अद्वितीय भी कहा जाता है<!---[[Right-unique relation]]--->,<ref name=kkm/>सही-निश्चित<!---[[Right-definite relation]]---><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> या असंबद्ध):<!---[[Univalent relation]]---><ref name=gs>[[Gunther Schmidt]], 2010. ''Relational Mathematics''. Cambridge University Press, {{ISBN|978-0-521-76268-7}}, Chapt. 5</ref> सभी के लिए <math>x \in X</math> और सभी <math>y, z \in Y,</math> यदि {{math|''xRy''}} तथा {{math|''xRz''}} फिर {{math|1=''y'' = ''z''}}. इस तरह के बाइनरी रिलेशन को कहा जाता है {{em|[[partial function]]}}. ऐसे रिश्ते के लिए, <math>\{ X \}</math> कहा जाता है {{em|a primary key}} आर का<ref name="Codd1970" />उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी संबंध कार्यात्मक हैं, लेकिन नीला वाला नहीं है (क्योंकि यह 1 से -1 और 1 दोनों से संबंधित है), न ही काला वाला (क्योंकि यह 0 से -1 और 1 दोनों से संबंधित है) .
+*{{cite book
-* एक से एक<!---[[One-to-one relation]]--->: इंजेक्शन और कार्यात्मक। उदाहरण के लिए, आरेख में हरा बाइनरी संबंध एक-से-एक है, लेकिन लाल, नीला और काला नहीं है।
-* कई लोगों के लिए एक<!---[[One-to-many relation]]--->: इंजेक्शन और कार्यात्मक नहीं। उदाहरण के लिए, आरेख में नीला बाइनरी संबंध एक-से-कई है, लेकिन लाल, हरा और काला नहीं है।
-* कई-से-एक<!---[[Many-to-one relation]]--->: कार्यात्मक और इंजेक्शन नहीं। उदाहरण के लिए, आरेख में लाल बाइनरी संबंध कई-से-एक है, लेकिन हरा, नीला और काला नहीं है।
-* कई कई<!---[[Many-to-many relation]]--->: इंजेक्शन नहीं और न ही कार्यात्मक। उदाहरण के लिए, आरेख में काला बाइनरी संबंध कई-से-अनेक है, लेकिन लाल, हरा और नीला नहीं है।
-संपूर्णता गुण (केवल तभी परिभाषित किया जा सकता है जब डोमेन X और कोडोमेन Y निर्दिष्ट हों):
-* '[[कुल संबंध]]' (जिसे 'वाम-कुल' भी कहा जाता है):<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
@@ Line 171: / Line 161: @@
   | page=506
 }}
-* {{cite book
+*{{cite book
   | author=Eike Best
   | title=Semantics of Sequential and Parallel Programs
@@ Line 180: / Line 170: @@
   | pages=19–21
 }}
-* {{cite book
+*{{cite book
   | author=Robert-Christoph Riemann
   | title=Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus
@@ Line 187: / Line 177: @@
   | isbn=978-3-89675-629-9
   | pages=21–22
-}}</ref> एक्स में सभी एक्स के लिए वाई में वाई मौजूद है जैसे कि {{math|''xRy''}}. दूसरे शब्दों में, R की परिभाषा का प्रांत X के बराबर है। यह गुण, की परिभाषा से भिन्न है {{em|[[Connected relation|connected]]}} (यह भी कहा जाता है {{em|total}} कुछ लेखकों द्वारा){{citation needed|date=June 2020}} सजातीय संबंध # गुण में। इस तरह के बाइनरी रिलेशन को कहा जाता है {{em|[[multivalued function]]}}. उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी संबंध कुल हैं, लेकिन नीला वाला नहीं है (क्योंकि यह -1 को किसी वास्तविक संख्या से संबंधित नहीं करता है), और न ही काला वाला (क्योंकि यह 2 को किसी वास्तविक संख्या से संबंधित नहीं करता है) ). एक अन्य उदाहरण के रूप में, > पूर्णांकों पर कुल संबंध है। लेकिन यह धनात्मक पूर्णांकों पर कुल संबंध नहीं है, क्योंकि ऐसा नहीं है {{mvar|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> सभी <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 दोनों से सम्बन्धित है)।
-* विशेषण<!---[[Surjective relation]]---> (जिसे राइट-टोटल भी कहा जाता है<!---[[Right-total relation]]---><ref name=kkm/>या पर<!---[[Onto relation]]]--->): Y में सभी y के लिए, X में एक x मौजूद है जैसे कि xRy। दूसरे शब्दों में, R की परिभाषा का कोडोमेन Y के बराबर है। उदाहरण के लिए, आरेख में हरे और नीले रंग के बाइनरी संबंध विशेषण हैं, लेकिन लाल नहीं है (क्योंकि यह किसी वास्तविक संख्या को -1 से संबंधित नहीं करता है), न ही काला वाला (क्योंकि यह किसी भी वास्तविक संख्या को 2 से संबंधित नहीं करता है)।
+*प्रकार्यात्मक (जिसे '''राइट-यूनीक''' भी कहा जाता है,<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)।
+* '''वन-टू-वन''': अंतःक्षेपक और प्रकार्यात्मक। उदाहरण के लिए, आरेख में हरे रंग का द्विआधारी सम्बन्ध वन-टू-वन है, परन्तु लाल, नीला और काला नहीं है।
-विशिष्टता और समग्रता गुण (केवल डोमेन एक्स और कोडोमेन वाई निर्दिष्ट होने पर परिभाषित किया जा सकता है):
+* '''वन-टू-मैनी''': अंतःक्षेपक और प्रकार्यात्मक नहीं। उदाहरण के लिए, आरेख में नीला द्विआधारी सम्बन्ध वन-टू-मैनी है, परन्तु लाल, हरे और काले वाले नहीं हैं।
-* ए {{em|[[Function (mathematics)|function]]}}: एक द्विआधारी संबंध जो कार्यात्मक और कुल है। उदाहरण के लिए, आरेख में लाल और हरे रंग के बाइनरी संबंध कार्य हैं, लेकिन नीले और काले वाले नहीं हैं।
+* '''मैनी-टू-वन''': प्रकार्यात्मक और अंतःक्षेपक नहीं। उदाहरण के लिए, आरेख में लाल द्विआधारी सम्बन्ध मैनी-टू-वन है, परन्तु हरे, नीले और काले रंग नहीं हैं।
-* एक {{em|[[Injective function|injection]]}}: एक फ़ंक्शन जो इंजेक्शन है। उदाहरण के लिए, आरेख में हरे रंग का बाइनरी संबंध एक इंजेक्शन है, लेकिन लाल, नीला और काला नहीं है।
+* '''मैनी-टू-मैनी''': अंतःक्षेपक नहीं और न ही प्रकार्यात्मक। उदाहरण के लिए, आरेख में काला द्विआधारी सम्बन्ध मैनी-टू-मैनी है, परन्तु लाल, हरे और नीले रंग नहीं हैं।
-* ए {{em|[[Surjective function|surjection]]}}: एक कार्य जो विशेषण है। उदाहरण के लिए, आरेख में हरा बाइनरी संबंध एक अनुमान है, लेकिन लाल, नीला और काला नहीं है।
-* ए {{em|[[bijection]]}}: एक कार्य जो इंजेक्शन और विशेषण है। उदाहरण के लिए, आरेख में हरा बाइनरी संबंध एक आक्षेप है, लेकिन लाल, नीला और काला नहीं है।
-{{Anchor|set-like-relation}}यदि उचित वर्गों पर संबंधों की अनुमति है:
+संपूर्णता गुण (केवल प्रान्त X और सहप्रांत Y निर्दिष्ट होने पर ही परिभाषित किया जा सकता है):
-* सेट की तरह (या {{em|local}}): सभी के लिए {{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}}
+* [[कुल संबंध|'''टोटल''']] (जिसे '''वाम-टोटल''' भी कहा जाता है):<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|[[द्विभाजन]]}}: फलन जो अंतःक्षेपी और विशेषण है। उदाहरण के लिए, आरेख में हरे रंग का द्विआधारी सम्बन्ध एक आक्षेप है, परन्तु लाल, नीला और काला नहीं है।
-== द्विआधारी संबंधों पर संचालन ==<!-- This section is linked from [[Preorder]] -->
+{{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:--->
-यदि आर और एस सेट एक्स और वाई पर द्विआधारी संबंध हैं तो <math>R \cup S = \{ (x, y) : xRy \text{ or } xSy \}</math> है {{em|union relation}} X और Y के ऊपर R और S का।
+यदि ''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> > और = का मिलन है।
+तत्समक अवयव रिक्त सम्बन्ध है। उदाहरण के लिए, <math>\,\leq\,</math> < और = का संश्रय है, और <math>\,\geq\,</math> > और = का संश्रय है।
-=== चौराहा ===
+=== उभयनिष्ठ ===
-यदि आर और एस सेट एक्स और वाई पर द्विआधारी संबंध हैं तो <math>R \cap S = \{ (x, y) : xRy \text{ and } xSy \}</math> है {{em|intersection relation}} X और Y के ऊपर R और S का।
+यदि ''R'' और ''S'' समुच्चय ''X'' और ''Y'' पर द्विआधारी सम्बन्ध हैं तो <math>R \cap S = \{ (x, y) : xRy \text{ and } xSy \}</math> ''X'' और ''Y'' पर ''R'' और ''S'' का ''उभयनिष्ठ सम्बन्ध'' है।
-पहचान तत्व सार्वभौमिक संबंध है। उदाहरण के लिए, संबंध 6 से विभाज्य है संबंधों का प्रतिच्छेदन 3 से विभाज्य है और 2 से विभाज्य है।
+तत्समक अवयव सार्वत्रिक सम्बन्ध है। उदाहरण के लिए, सम्बन्ध "6 से विभाज्य है" "3 से विभाज्य है" और "2 से विभाज्य है" सम्बन्धों का उभयनिष्ठ है।
-=== रचना ===
+=== संघटन ===
-{{main|Composition of relations}}
+{{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> (द्वारा भी दर्शाया गया है {{math|''R''; ''S''}}) है {{em|composition relation}} X और Z के ऊपर R और S का।
-पहचान तत्व पहचान संबंध है। अंकन में R और S का क्रम <math>S \circ R,</math> यहाँ प्रयुक्त [[कार्यों की संरचना]] के लिए मानक अंकन क्रम से सहमत हैं। उदाहरण के लिए, रचना (का जनक है)<math>\,\circ\,</math>(की माँ है) पैदावार (की नानी है), जबकि रचना (की माँ है)<math>\,\circ\,</math>(की जनक है) उपज (की दादी है)। पूर्व मामले के लिए, यदि x, y का माता-पिता है और y, z की माता है, तो x, z का नाना-नानी है।
+यदि ''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|Converse relation}}
-{{see also|Duality (order theory)}}
-यदि R सेट X और Y पर एक बाइनरी संबंध है तो <math>R^\textsf{T} = \{ (y, x) : xRy \}</math> है {{em|converse relation}} Y और X के ऊपर R का।
-उदाहरण के लिए, = स्वयं का विलोम है, जैसा है <math>\,\neq,\,</math> तथा <math>\,<\,</math> तथा <math>\,>\,</math> एक दूसरे के विलोम हैं, जैसे हैं <math>\,\leq\,</math> तथा <math>\,\geq.\,</math> एक द्विआधारी संबंध इसके विलोम के बराबर है यदि और केवल यदि यह सममित संबंध है।
+=== प्रतिलोम ===
+{{main|प्रतिलोम संबंध}}
+{{see also|द्वैत (अनुक्रम सिद्धांत)}}
-=== पूरक ===
+यदि ''R'' समुच्चय ''X'' और ''Y'' पर एक द्विआधारी सम्बन्ध है तो <math>R^\textsf{T} = \{ (y, x) : xRy \}</math>, ''Y'' और ''X'' पर ''R'' का ''प्रतिलोम सम्बन्ध'' है।
-{{main|Complementary relation}}
-यदि R सेट X और Y पर एक बाइनरी संबंध है तो <math>\overline{R} = \{ (x, y) : \text{ not } xRy \}</math> (द्वारा भी दर्शाया गया है {{strikethrough|''R''}} या {{math|&not; ''R''}}) है {{em|complementary relation}} 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>\,\neq,\,</math><math>\,<\,</math> तथा <math>\,>\,</math> एक-दूसरे के प्रतिलोम हैं, जैसे <math>\,\leq\,</math> और <math>\,\geq\,</math> हैं। द्विआधारी सम्बन्ध इसके प्रतिलोम के बराबर होता है यदि और केवल यदि यह सममित है।
-विलोम संबंध का पूरक <math>R^\textsf{T}</math> पूरक का विलोम है: <math>\overline{R^\mathsf{T}} = \bar{R}^\mathsf{T}.</math>
-यदि <math>X = Y,</math> पूरक में निम्नलिखित गुण होते हैं:
-* यदि कोई संबंध सममित है, तो पूरक भी सममित है।
-* एक प्रतिवर्त संबंध का पूरक अप्रतिवर्ती है—और इसके विपरीत।
-* एक [[सख्त कमजोर आदेश]] का पूरक कुल पूर्व आदेश है - और इसके विपरीत।
-=== प्रतिबंध ===
+=== पूरक (कॉम्प्लीमेंट) ===
-{{main|Restriction (mathematics)}}
+{{main|पूरक सम्बन्ध}}
-यदि R एक समुच्चय X पर एक द्विआधारी [[सजातीय संबंध]] है और S, X का एक उपसमुच्चय है तो <math>R_{\vert S} = \{ (x, y) \mid xRy \text{ and } x \in S \text{ and } y \in S \}</math> है {{em|{{visible anchor|restriction relation|Restriction relation|Restriction of a homogeneous relation}}}} R से S ओवर X.
+यदि R समुच्चय X और Y पर एक द्विआधारी सम्बन्ध है तो <math>\overline{R} = \{ (x, y) : \text{ not } xRy \}</math> (जिसे {{strikethrough|''R''}} या {{math|&not; ''R''}} द्वारा भी निरूपित किया जाता है) X और Y के ऊपर R का ''पूरक सम्बन्ध'' है।
-यदि R सेट X और Y पर एक द्विआधारी संबंध है और यदि S, X का एक उपसमुच्चय है तो <math>R_{\vert S} = \{ (x, y) \mid xRy \text{ and } x \in S \}</math> है {{em|{{visible anchor|left-restriction relation|Left-restriction relation}}}} R से S ओवर X और Y।
+उदाहरण के लिए, <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> भी।
-यदि R सेट X और Y पर एक द्विआधारी संबंध है और यदि S, Y का एक उपसमुच्चय है तो <math>R^{\vert S} = \{ (x, y) \mid xRy \text{ and } y \in S \}</math> है {{em|{{visible anchor|right-restriction relation|Right-restriction relation}}}} R से S ओवर X और Y।
+प्रतिलोम सम्बन्ध <math>R^\textsf{T}</math> का पूरक पूरक का प्रतिलोम है: <math>\overline{R^\mathsf{T}} = \bar{R}^\mathsf{T}</math>।
-यदि कोई संबंध प्रतिवर्ती संबंध, अप्रतिवर्ती, सममित संबंध, प्रतिसममित संबंध, [[असममित संबंध]], [[सकर्मक संबंध]], क्रमिक संबंध, त्रिकोटॉमी (गणित), एक आंशिक क्रम, कुल आदेश, सख्त कमजोर आदेश, सख्त कमजोर आदेश # कुल पूर्व आदेश (कमजोर क्रम) है , या एक [[तुल्यता संबंध]], तो भी इसके प्रतिबंध हैं।
+यदि <math>X = Y,</math> के पूरक में निम्नलिखित गुण हैं:
+* यदि कोई सम्बन्ध सममित है, तो पूरक भी सममित है।
+* प्रतिवर्त सम्बन्ध का पूरक अप्रतिवर्ती है—और इसके प्रतिलोम।
+* [[सख्त कमजोर आदेश|पूर्णतः अशक्त अनुक्रम]] का पूरक टोटल पूर्व अनुक्रम है - और इसके प्रतिलोम।
-हालांकि, एक प्रतिबंध का सकर्मक समापन सकर्मक बंद होने के प्रतिबंध का एक उपसमुच्चय है, अर्थात, सामान्य रूप से समान नहीं है। उदाहरण के लिए, महिलाओं के लिए y का जनक x है संबंध को प्रतिबंधित करने से संबंध x, महिला y की मां है; इसका सकर्मक समापन एक महिला को उसकी नानी से संबंधित नहीं करता है। दूसरी ओर, के माता-पिता का सकर्मक समापन है का पूर्वज है; महिलाओं के लिए इसका प्रतिबंध एक महिला को उसकी नानी से जोड़ता है।
+=== प्रतिबंध ===
+{{main|प्रतिबंध (गणित)}}
-इसके अलावा, पूर्णता की विभिन्न अवधारणाएं (आदेश सिद्धांत) (कुल होने के साथ भ्रमित नहीं होना) प्रतिबंधों पर नहीं चलती हैं। उदाहरण के लिए, वास्तविक संख्याओं पर संबंध की एक संपत्ति <math>\,\leq\,</math> क्या वह हर [[खाली सेट]] | गैर-खाली सबसेट है <math>S \subseteq \R</math> एक [[ऊपरी सीमा]] के साथ <math>\R</math> में एक सर्वोच्च (जिसे सर्वोच्च भी कहा जाता है) है <math>\R.</math> हालाँकि, परिमेय संख्याओं के लिए यह सर्वोच्चता आवश्यक रूप से तर्कसंगत नहीं है, इसलिए वही संपत्ति संबंध के प्रतिबंध पर नहीं टिकती है <math>\,\leq\,</math> तर्कसंगत संख्या के लिए।
+यदि ''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'' का ''प्रतिबंध सम्बन्ध'' है।
-<!---This definition is needed by the closure defs, too, but maybe should better given in an earlier section(?):--->
+यदि 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 कहा जाता है {{em|{{visible anchor|contained in|Containment of relations}}}} 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 कहलाते हैं {{em|equal}} लिखित आर = एस। यदि आर एस में निहित है लेकिन एस आर में निहित नहीं है, तो आर कहा जाता है {{em|{{visible anchor|smaller|Smaller relation}}}} S से, लिखा हुआ <math>R \subsetneq S.</math> उदाहरण के लिए, [[परिमेय संख्या]]ओं पर, संबंध <math>\,>\,</math> की तुलना में छोटा है <math>\,\geq,\,</math> और रचना के बराबर <math>\,>\,\circ\,>.\,</math>
+यदि ''R'' समुच्चय ''X'' और ''Y'' पर द्विआधारी सम्बन्ध है और यदि S, Y का एक उपसमुच्चय है तो <math>R^{\vert S} = \{ (x, y) \mid xRy \text{ and } y \in S \}</math> ''X'' और ''Y'' पर ''R'' से ''S'' का ''दायाँ-प्रतिबंध सम्बन्ध'' है।
-=== मैट्रिक्स प्रतिनिधित्व ===
+यदि कोई सम्बन्ध प्रतिवर्ती, अप्रतिवर्ती, सममित, [[असममित संबंध|असममित]], असममित, [[सकर्मक संबंध|सकर्मक]], टोटल, त्रिकोटोमस, आंशिक अनुक्रम, टोटल अनुक्रम, पूर्णतः अशक्त अनुक्रम, टोटल पूर्ववर्ती (अशक्त अनुक्रम), या एक [[तुल्यता संबंध|तुल्यता सम्बन्ध]] है, तो उसके प्रतिबंध भी हैं।
-सेट एक्स और वाई पर द्विआधारी संबंधों को एक्स और वाई द्वारा अनुक्रमित लॉजिकल मैट्रिक्स द्वारा [[बूलियन सेमिरिंग]] में प्रविष्टियों के साथ बीजगणितीय रूप से प्रदर्शित किया जा सकता है (इसके अलावा OR और गुणन से संबंधित है) जहां [[मैट्रिक्स जोड़]] संबंधों के संघ से मेल खाता है, [[मैट्रिक्स गुणन]] की संरचना से मेल खाता है संबंध (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>
+हालांकि, एक प्रतिबंध का सकर्मक समापन सकर्मक बंद होने के प्रतिबंध का एक उपसमुच्चय है, अर्थात सामान्य रूप से बराबर नहीं है। उदाहरण के लिए, महिलाओं के लिए "x, y का जनक है" सम्बन्ध को प्रतिबंधित करने से सम्बन्ध "x, महिला y की मां है" उत्पन्न होता है; इसका सकर्मक बंद होना एक महिला को उसकी नानी के साथ नहीं जोड़ता है। दूसरी ओर, "के माता-पिता है" का सकर्मक समापन "का पूर्वज है"; महिलाओं के लिए इसका प्रतिबंध एक महिला को उसकी नानी से सम्बन्धित करता है।
-== सेट बनाम कक्षाएं ==
+इसके अतिरिक्त, पूर्णता की विभिन्न अवधारणाएं ("टोटल" होने के साथ भ्रमित नहीं होना चाहिए) प्रतिबंधों पर निर्भर नहीं हैं। उदाहरण के लिए, वास्तविक संख्याओं पर सम्बन्ध <math>\,\leq\,</math> की एक संपत्ति यह है कि <math>\R</math> में [[ऊपरी सीमा]] के साथ प्रत्येक अरिक्त उपसमुच्चय <math>S \subseteq \R</math> में <math>\R</math> में सबसे कम ऊपरी सीमा (जिसे सुप्रीमम भी कहा जाता है) है। हालांकि, परिमेय संख्याओं के लिए यह सर्वोच्चता आवश्यक रूप से परिमेय नहीं है, इसलिए समान गुण परिमेय संख्याओं के सम्बन्ध <math>\,\leq\,</math> के प्रतिबंध पर नहीं टिकता है।
-कुछ गणितीय संबंध, जैसे कि बराबर, उपसमुच्चय, और सदस्य, को ऊपर परिभाषित बाइनरी संबंधों के रूप में नहीं समझा जा सकता है, क्योंकि उनके डोमेन और कोडोमेन को स्वयंसिद्ध सेट सिद्धांत की सामान्य प्रणालियों में सेट नहीं किया जा सकता है। उदाहरण के लिए, समानता की सामान्य अवधारणा को एक द्विआधारी संबंध के रूप में मॉडल करना <math>\,=,</math> डोमेन और कोडोमेन को सभी सेटों का वर्ग मानें, जो सामान्य सेट सिद्धांत में सेट नहीं है।
-अधिकांश गणितीय संदर्भों में, समानता, सदस्यता और उपसमुच्चय के संबंधों के संदर्भ हानिरहित हैं क्योंकि उन्हें संदर्भ में कुछ सेट तक सीमित रूप से समझा जा सकता है। इस समस्या का सामान्य वर्क-अराउंड पर्याप्त बड़े सेट A का चयन करना है, जिसमें रुचि की सभी वस्तुएं शामिल हैं, और प्रतिबंध के साथ काम करना =<sub>''A''</sub> के बजाय =। इसी तरह, संबंध का सबसेट <math>\,\subseteq\,</math> डोमेन और कोडोमेन पी (ए) (एक विशिष्ट सेट ए का पावर सेट) तक सीमित होने की आवश्यकता है: परिणामी सेट रिलेशन द्वारा निरूपित किया जा सकता है <math>\,\subseteq_A.\,</math> साथ ही, संबंध के सदस्य को बाइनरी संबंध प्राप्त करने के लिए डोमेन ए और कोडोमेन पी (ए) तक सीमित होना चाहिए <math>\,\in_A\,</math> वह एक सेट है। बर्ट्रेंड रसेल ने यह मानकर दिखाया है <math>\,\in\,</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> के बराबर है।
-इस समस्या का एक अन्य समाधान [[उचित वर्ग]]ों के साथ एक सेट सिद्धांत का उपयोग करना है, जैसे वॉन न्यूमैन-बर्नेज़-गोडेल सेट सिद्धांत या मोर्स-केली सेट सिद्धांत, और डोमेन और कोडोमेन (और इसलिए ग्राफ) को उचित वर्ग होने दें: ऐसा सिद्धांत, समानता, सदस्यता और उपसमुच्चय बिना किसी विशेष टिप्पणी के द्विआधारी संबंध हैं। (आदेशित ट्रिपल की अवधारणा में मामूली संशोधन करने की आवश्यकता है {{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> इस परिभाषा के साथ उदाहरण के लिए, प्रत्येक सेट और उसके पावर सेट पर एक द्विआधारी संबंध को परिभाषित किया जा सकता है।
+=== आव्यूह निरूपण ===
+समुच्चय 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> को सभी समुच्चयों पर परिभाषित करने के लिए सहज समुच्चय सिद्धांत में एक विरोधाभास होता है, ''रसेल के विरोधाभास'' को देखें।
-{{main|Homogeneous relation}}
-एक सजातीय संबंध<!---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}}</रेफरी><ref name="PahlDamrath2001-p496">{{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> इसे एक्स पर एक (बाइनरी) संबंध भी कहा जाता है।
-एक सेट एक्स पर एक सजातीय संबंध आर को ग्राफ सिद्धांत # निर्देशित ग्राफ के साथ पहचाना जा सकता है, जहां एक्स वर्टेक्स सेट है और आर एज सेट है (एक वर्टेक्स एक्स से एक वर्टेक्स वाई तक एक किनारा है और केवल अगर {{math|''xRy''}}).
+इस समस्या का एक अन्य समाधान [[उचित वर्ग|उचित वर्गों]] के साथ समुच्चय सिद्धांत का उपयोग करना है, जैसे कि एनबीजी या मोर्स-केली समुच्चय सिद्धांत, और प्रान्त और सहप्रांत (और इसलिए ग्राफ़) को उचित वर्ग होने दें: ऐसे सिद्धांत में, समानता, सदस्यता, और उपसमुच्चय बिना किसी विशेष टिप्पणी के द्विआधारी सम्बन्ध हैं। (क्रमित ट्रिपल {{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> इस परिभाषा के साथ, उदाहरण के लिए, प्रत्येक समुच्चय और उसके पावर समुच्चय पर एक द्विआधारी सम्बन्ध को परिभाषित कर सकते हैं।
-सभी सजातीय संबंधों का सेट <math>\mathcal{B}(X)</math> एक सेट पर X पावर सेट है <math>2^{X \times X}</math> जो एक [[बूलियन बीजगणित (संरचना)]] है जो इसके विपरीत संबंध के संबंध के मानचित्रण के समावेशन (गणित) के साथ संवर्धित है। संबंधों की संरचना को एक [[बाइनरी ऑपरेशन]] के रूप में देखते हुए <math>\mathcal{B}(X)</math>, यह समावेशन के साथ एक अर्धसमूह बनाता है।
-सजातीय संबंध के कुछ महत्वपूर्ण गुण {{mvar|R}} एक सेट पर {{mvar|X}} हो सकता है:
+== सजातीय सम्बन्ध ==
-* {{em|[[Reflexive relation|Reflexive]]}}: सभी के लिए <math>x \in X,</math> {{math|''xRx''}}. उदाहरण के लिए, <math>\,\geq\,</math> स्वतुल्य संबंध है लेकिन > नहीं है।
+{{main|सजातीय संबंध}}
-* {{em|[[Irreflexive relation|Irreflexive]]}}: सभी के लिए <math>x \in X,</math> नहीं {{math|''xRx''}}. उदाहरण के लिए, <math>\,>\,</math> एक अप्रासंगिक संबंध है, लेकिन <math>\,\geq\,</math> नहीं है।
+<!---keep boldface: [[Homogeneous relation]] redirects to here--->
-* {{em|[[Symmetric relation|Symmetric]]}}: सभी के लिए <math>x, y \in X,</math> यदि {{math|''xRy''}} फिर {{math|''yRx''}}. उदाहरण के लिए, का रक्त संबंधी एक सममित संबंध है।
+समुच्चय ''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'' पर एक (द्विआधारी) सम्बन्ध भी कहा जाता है।
-* {{em|[[Antisymmetric relation|Antisymmetric]]}}: सभी के लिए <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|Asymmetric]]}}: सभी के लिए <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|Transitive]]}}: सभी के लिए <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|Connected]]}}: सभी के लिए <math>x, y \in X,</math> यदि <math>x \neq y</math> फिर {{math|''xRy''}} या {{math|''yRx''}}.
-* {{em|[[Connected relation|Strongly connected]]}}: सभी के लिए <math>x, y \in X,</math> {{math|''xRy''}} या {{math|''yRx''}}.
-ए {{em|[[Partially ordered set#Formal definition|partial order]]}} एक ऐसा संबंध है जो प्रतिवर्त, प्रतिसममित और सकर्मक है। ए {{em|[[Partially ordered set#Correspondence of strict and non-strict partial order relations|strict partial order]]}} एक ऐसा संबंध है जो अप्रतिवर्ती, प्रतिसममित और सकर्मक है। ए {{em|[[total order]]}} एक ऐसा संबंध है जो प्रतिवर्त, प्रतिसममित, सकर्मक और जुड़ा हुआ है।<ref>Joseph G. Rosenstein, ''Linear orderings'', Academic Press, 1982, {{ISBN|0-12-597680-1}}, p.&nbsp;4</ref> A {{em|[[Total order#Strict total order|strict total order]]}} एक ऐसा संबंध है जो अप्रतिवर्ती, प्रतिसममित, सकर्मक और जुड़ा हुआ है।
+समुच्चय ''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> पर एक [[बाइनरी ऑपरेशन|द्विआधारी संक्रिया]] के रूप में सम्बन्धों के संघटन पर विचार करते हुए, यह सम्मिलित होने के साथ एक अर्धसमूह बनाता है।
-एक {{em|[[equivalence relation]]}} एक संबंध है जो स्वतुल्य, सममित और सकर्मक है।
-उदाहरण के लिए, x विभाजित करता है y एक आंशिक है, लेकिन [[प्राकृतिक संख्या]]ओं पर कुल आदेश नहीं है <math>\N,</math> x <y एक सख्त कुल आदेश है <math>\N,</math> और x, y के समांतर है, [[यूक्लिडियन विमान]] में सभी रेखाओं के समुच्चय पर एक तुल्यता संबंध है।
-सेक्शन #ऑपरेशन्स ऑन बाइनरी रिलेशंस में परिभाषित सभी ऑपरेशन सजातीय संबंधों पर भी लागू होते हैं।
+सजातीय सम्बन्ध के कुछ महत्वपूर्ण गुण {{mvar|R}} एक समुच्चय पर {{mvar|X}} हो सकता है:
-इसके अलावा, एक सेट एक्स पर एक सजातीय संबंध क्लोजर ऑपरेशंस के अधीन हो सकता है जैसे:
+* {{em|[[Reflexive relation|स्वतुल्य]]}}: सभी <math>x \in X,</math> {{math|''xRx''}} के लिए। उदाहरण के लिए, <math>\,\geq\,</math> एक प्रतिवर्त सम्बन्ध है परन्तु > नहीं है।
-; {{em|[[Reflexive closure]]}}: एक्स युक्त आर पर सबसे छोटा रिफ्लेक्सिव संबंध,
+*{{em|[[Irreflexive relation|अस्वतुल्य]]}}: सभी <math>x \in X,</math> के लिए नहीं {{math|''xRx''}}। उदाहरण के लिए, <math>\,>\,</math> एक अपरिवर्तनीय सम्बन्ध है, परन्तु <math>\,\geq\,</math> नहीं है।
-; {{em|[[Transitive closure]]}}: R युक्त X पर सबसे छोटा सकर्मक संबंध,
+* {{em|[[Symmetric relation|सममित]]}}: सभी के लिए <math>x, y \in X,</math> यदि {{math|''xRy''}} तो {{math|''yRx''}}। उदाहरण के लिए, "का रक्त सम्बन्धी है" एक सममित सम्बन्ध है।
-; {{em|[[Equivalence closure]]}}: R युक्त X पर सबसे छोटा समतुल्य संबंध।
+* {{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 के समानांतर है" [[यूक्लिडियन विमान|यूक्लिडियन तल]] में सभी रेखाओं के समुच्चय पर एक समानता सम्बन्ध है।
-गणित में, एक विषम संबंध एक द्विआधारी संबंध है, जो कार्टेशियन उत्पाद का एक [[सबसेट]] है <math>A \times B,</math> जहाँ A और B संभवतः भिन्न समुच्चय हैं।<ref name="Schmidt p.77" />उपसर्ग हेटेरो ग्रीक ἕτερος (हेटरोस, अन्य, अन्य, अलग) से है।
-एक विषम संबंध को 'आयताकार संबंध' कहा गया है,<ref name="Winter2007"/>यह सुझाव देते हुए कि इसमें द्विआधारी संबंध # सजातीय संबंध का वर्ग-समरूपता नहीं है <math>A = B.</math> सजातीय संबंधों से परे द्विआधारी संबंधों के विकास पर टिप्पणी करते हुए, शोधकर्ताओं ने लिखा, ... सिद्धांत का एक प्रकार विकसित हुआ है जो संबंधों को शुरू से ही मानता है {{em|heterogeneous}} या {{em|rectangular}}, यानी संबंधों के रूप में जहां सामान्य मामला यह है कि वे विभिन्न सेटों के बीच संबंध हैं।<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>
+अनुभाग में परिभाषित सभी संक्रिया द्विआधारी सम्बन्धों पर संक्रिया भी सजातीय सम्बन्धों पर लागू होते हैं। इसके अतिरिक्त, एक समुच्चय 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>
-सजातीय संबंधों के विपरीत, संबंधों के संचालन की संरचना केवल एक आंशिक कार्य है। रचित संबंधों के डोमेन के लिए सीमा के मिलान की आवश्यकता ने सुझाव दिया है कि विषम संबंधों का अध्ययन [[श्रेणी सिद्धांत]] का एक अध्याय है, जैसा कि [[सेट की श्रेणी]] में है, सिवाय इसके कि इस श्रेणी के रूपवाद संबंध हैं। {{em|objects}} }} श्रेणी के [[संबंधों की श्रेणी]] सेट होती है, और संबंध-रूपवाद एक [[श्रेणी (गणित)]] में आवश्यकतानुसार बनते हैं।{{citation needed|reason=Who has suggested this, when, and where?|date=June 2021}}
+== सम्बन्धों की गणना ==
+[[बीजगणितीय तर्क|बीजगणितीय तर्कशास्त्र]] में विकास ने द्विआधारी सम्बन्धों के उपयोग को सुगम बनाया है। सम्बन्धों की गणना में समुच्चयों का बीजगणित सम्मिलित है, सम्बन्धों के संघटन और प्रतिलोम सम्बन्धों के उपयोग द्वारा विस्तारित। अंतर्वेशन <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'' का तार्किक आव्यूह तार्किक सदिश का [[बाहरी उत्पाद|बाह्य गुणनफल]] है
-एक अवधारणा ''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>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 को एक गैर-विस्तारित आयत के रूप में वर्णित किया गया है।
-किसी दिए गए संबंध के लिए <math>R \subseteq X \times Y,</math> अवधारणाओं का समूह, उनके जुड़ने और मिलने से बढ़ा हुआ, समावेशन के साथ अवधारणाओं का एक प्रेरित जाल बनाता है <math>\sqsubseteq</math> एक [[पूर्व आदेश]] बनाना।
+किसी दिए गए सम्बन्ध <math>R \subseteq X \times Y,</math> के लिए, अवधारणाओं का समुच्चय, उनके जुड़ने और मिलने से बढ़ा हुआ, एक "अवधारणाओं का प्रेरित जालक" बनाता है, जिसमें <math>\sqsubseteq</math> को सम्मिलित करने से एक [[पूर्व आदेश|पूर्व अनुक्रम]] बनता है।
-MacNeille पूर्णता प्रमेय (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> अपघटन है
+मैकनीले पूर्णता प्रमेय (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 फलन (गणित) हैं, कहलाते हैं {{em|mappings}} या वाम-कुल, इस संदर्भ में एकसमान संबंध। प्रेरित अवधारणा जाली आंशिक आदेश ई के पूर्ण होने के लिए आइसोमोर्फिक है जो संबंध आर के न्यूनतम अपघटन (एफ, जी, ई) से संबंधित है।
+:<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>
+सम्बन्धों को '''स्कीन रैंक''' द्वारा रैंक किया जा सकता है जो एक सम्बन्ध को कवर करने के लिए आवश्यक अवधारणाओं की संख्या की गणना करता है।<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 में असमान सम्बन्ध सम्मिलित हैं, जिन्हें सामान्यतः आंशिक फलन कहा जाता है।
-* प्रस्ताव: यदि R एक क्रमिक संबंध है और R<sup>T</sup> तो इसका स्थानान्तरण है <math>I \subseteq R^\textsf{T} R</math> कहाँ पे <math>I</math> m × m तत्समक संबंध है।
+में रिगुट ने दिखाया कि ऐसे सम्बन्ध अंतर्वेशन को संतुष्ट करते हैं:<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>
-* प्रस्ताव: यदि R एक [[विशेषण संबंध]] है, तो <math>I \subseteq R R^\textsf{T}</math> कहाँ पे <math>I</math> है <math>n \times n</math> पहचान संबंध।
-=== द्विक्रियात्मक ===
+संकेतन {''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>
-{{anchor|difunctional}}
-एक समानता संबंध की अवधारणा के सामान्यीकरण के रूप में, अलग-अलग विशेषताओं के आधार पर वस्तुओं को विभाजित करने के लिए एक द्विभाजित संबंध का विचार है। ऐसा करने का एक तरीका एक मध्यवर्ती सेट के साथ है <math>Z = \{ x, y, z, \ldots \}</math> [[संकेतक (अनुसंधान)]] एस। विभाजन संबंध <math>R = F G^\textsf{T}</math> का उपयोग कर संबंधों की एक रचना है {{em|univalent}} संबंधों <math>F \subseteq A \times Z \text{ and } G \subseteq B \times Z.</math> [[जैक्स रिगुएट]] ने रचना ''एफ जी'' के बाद से इन संबंधों को कार्यात्मक नाम दिया<sup>T</sup> में असमान संबंध शामिल हैं, जिन्हें आमतौर पर आंशिक कार्य कहा जाता है।
-में रिगुट ने दिखाया कि ऐसे संबंध समावेशन को संतुष्ट करते हैं:<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>
+में शोधकर्ताओं ने "[[डेटाबेस]] प्रबंधन में विविध निर्भरताओं पर आधारित द्विआधारी अपघटन की उपयोगिता" को पाया।<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
-:<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>R</math> पर <math>X \times Y</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>आर और एक्स<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>
-में शोधकर्ताओं ने [[डेटाबेस]] प्रबंधन में विविध निर्भरताओं के आधार पर द्विआधारी अपघटन की उपयोगिता पाई।<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>
-में जैक्स रिगुएट ने एक पूर्णांक के [[विभाजन (संख्या सिद्धांत)]] के क्रम को अपनाया, जिसे [[फेरर्स आरेख]] कहा जाता है, ताकि सामान्य रूप से द्विआधारी संबंधों को आदेश दिया जा सके।<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>
-फेरर्स प्रकार के संबंध R के लिए आवश्यक बीजगणितीय कथन है
+यदि कोई एक सम्बन्ध <math>R, \ \bar{R}, \ R^\textsf{T}</math> फेरर्स प्रकार का है, तो वे सभी हैं।
-<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'' '''संपर्क सम्बन्ध''' है यदि यह तीन गुणों को संतुष्ट करता है:
-मान लीजिए 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>
+समुच्चय सदस्यता सम्बन्ध, ε = "का एक अवयव है", इन गुणों को संतुष्ट करता है इसलिए ε एक संपर्क सम्बन्ध है। 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}}
-<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/>{{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> फिर
-प्रत्येक संबंध 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> (दोहराना)
@@ Line 368: / Line 354: @@
 :<math>\equiv (R \backslash R)(R \backslash R) \subseteq R \backslash R.</math> (परिभाषा)
-यू के पावर सेट पर समावेशन (सेट सिद्धांत) संबंध Ω [[तत्व (गणित)]] से इस तरह प्राप्त किया जा सकता है <math>\,\in\,</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> विजातीय और सजातीय सम्बन्धों के प्रतिलोम इन परिभाषाओं द्वारा उजागर किया गया है:
-एक संबंध R दिया गया है, एक उप-संबंध इसे कहते हैं {{em|fringe}} की तरह परिभाषित किया गया है
-<math display="block">\operatorname{fringe}(R) = R \cap \overline{R \bar{R}^\textsf{T} R}.</math>
-जब R एक आंशिक पहचान संबंध, द्विक्रियात्मक, या एक ब्लॉक विकर्ण संबंध है, तो फ्रिंज (R) = R. अन्यथा फ्रिंज ऑपरेटर अपने तार्किक मैट्रिक्स के संदर्भ में वर्णित एक सीमा उप-संबंध का चयन करता है: फ्रिंज (R) पार्श्व विकर्ण है यदि R एक ऊपरी दायाँ त्रिकोणीय [[रैखिक क्रम]] या सख्त क्रम है। फ्रिंज (आर) ब्लॉक फ्रिंज है अगर आर अपरिवर्तनीय है (<math>R \subseteq \bar{I}</math>) या ऊपरी दायां ब्लॉक त्रिकोणीय। फ्रिंज (आर) सीमा आयतों का एक क्रम है जब आर फेरर्स प्रकार का होता है।
-दूसरी ओर, फ्रिंज (आर) = ∅ जब आर एक [[सघन क्रम]], रैखिक, सख्त क्रम है।<ref name=GS11>[[Gunther Schmidt]] (2011) ''Relational Mathematics'', pages 211−15, [[Cambridge University Press]] {{ISBN|978-0-521-76268-7}}</ref>
-== गणितीय ढेर ==
-{{main|Heap (mathematics)}}
-दो सेट ए और बी दिए गए हैं, उनके बीच द्विआधारी संबंधों का सेट <math>\mathcal{B}(A,B)</math> एक [[टर्नरी ऑपरेशन]] से लैस किया जा सकता है <math>[a, \ b,\ c] \ = \ a b^\textsf{T} c</math> जहां बी<sup>T</sup> 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=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''.
+|text=वैगनर के काम में ढेर, अर्ध-ढेर और सामान्यीकृत ढेर के बीच एक सुखद समरूपता है, और दूसरी ओर समूह, अर्ध-समूह और सामान्यीकृत समूह। अनिवार्य रूप से, जब भी हम ''विभिन्न'' सेट ''A'' और ''B'' के बीच द्विआधारी संबंधों (और आंशिक एक-एक मैपिंग) पर विचार करते हैं, तो विभिन्न प्रकार के सेमीहिप्स दिखाई देते हैं, जबकि विभिन्न प्रकार के सेमिग्रुप उस मामले में प्रकट होते हैं जहां ''A'' = ''B''।
-|author=Christopher Hollings
+|author=क्रिस्टोफर हॉलिंग्स
-|title="Mathematics across the Iron Curtain: a history of the algebraic theory of semigroups"<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>
+|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}}
@@ Line 403: / Line 382: @@
 * आदेश सिद्धांत, आदेश संबंधों के गुणों की जांच करता है
 {{colend}}
 == टिप्पणियाँ ==
 {{reflist|group=note}}
 == संदर्भ ==
@@ Line 423: / Line 400: @@
+== बाहरी सम्बन्ध ==
-==इस पेज में लापता आंतरिक लिंक की सूची==
-*अंक शास्त्र
-*सेट (गणित)
-*क्रमित युग्म
-*एकात्मक समारोह
-*डिविसिबिलिटी
-*समारोह (गणित)
-*लीनियर अलजेब्रा
-*असमानता (गणित)
-*जाली (आदेश)
-*विपरीत संबंध
-*संबंधों की रचना
-*संबंधों की गणना
-*सेट का बीजगणित
-*चौराहा (सेट सिद्धांत)
-*द्विपक्षीय ग्राफ
-*पूर्ण समय और स्थान
-*कुल आदेश
-*एंटीसिमेट्रिक संबंध
-*ट्राइकोटॉमी (गणित)
-*सीरियल संबंध
-*आंशिक आदेश
-*पूर्णता (आदेश सिद्धांत)
-*प्रतिवर्त संबंध
-*उच्चतम
-*भोला सेट सिद्धांत
-*इन्वोल्यूशन (गणित)
-*शामिल होने के साथ अर्धसमूह
-*आकारिता
-*आंशिक समारोह
-*मैकनील पूर्णता प्रमेय
-*डेटा माइनिंग
-*आदेश सिद्धांत
-*सदस्यता निर्धारित करें
-*योगात्मक संबंध
-*संगम (अवधि पुनर्लेखन)
-== बाहरी संबंध ==
 * {{commons category-inline|Binary relations}}
 * {{springer|title=Binary relation|id=p/b016380}}
-{{DEFAULTSORT:Binary Relation}}[[Category:द्विआधारी संबंध| ]]
+{{DEFAULTSORT:Binary Relation}}
-[[Category: Machine Translated Page]]
+[[Category:All articles with unsourced statements|Binary Relation]]
-[[Category:Created On 25/11/2022]]
+[[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]]

Anonymous

Search

बाइनरी संबंध: Difference between revisions

Latest revision as of 09:49, 17 December 2022

परिभाषा

उदाहरण

विशेष प्रकार के द्विआधारी सम्बन्ध

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

संश्रय

उभयनिष्ठ

संघटन

प्रतिलोम

पूरक (कॉम्प्लीमेंट)

प्रतिबंध

आव्यूह निरूपण

समुच्चय बनाम वर्ग

सजातीय सम्बन्ध

विजातीय सम्बन्ध

सम्बन्धों की गणना

प्रेरित अवधारणा जालक

विशेष सम्बन्ध

द्विक्रियात्मक (डाईफंक्शनल)

फेरर्स प्रकार

संपर्क

प्राग्क्रम (प्रीऑर्डर) R\R

सम्बन्ध की सीमांत (फ्रिंज)

गणितीय संग्रह (हीप)

यह भी देखें

टिप्पणियाँ

संदर्भ

ग्रन्थसूची

बाहरी सम्बन्ध

Navigation

Wiki tools

Page tools

Other projects

Hidden categories