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

Revision as of 19:59, 14 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:

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

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

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

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

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

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

घटना संरचना एक ट्रिपल 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]}

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

संघ

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

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

प्रतिच्छेदन

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

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

रचना

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

पहचान अवयव पहचान का सम्बन्ध है। नोटेशन $S\circ R,$ में आर और एस का क्रम, यहां इस्तेमाल किए गए कार्यों की संरचना के लिए मानक नोटेशन ऑर्डर से सहमत हैं। उदाहरण के लिए, रचना (की जनक है)22(की माता है) पैदावार (की नानी है), जबकि रचना (की माता है)33(की जनक है) उपज (की दादी है)। पूर्व मामले के लिए, यदि 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 द्वारा अनुक्रमित तार्किक आव्यूह द्वारा बूलियन सेमिरिंग में प्रविष्टियों के साथ बीजगणितीय रूप से प्रदर्शित किया जा सकता है (इसके अलावा OR और गुणन से मेल खाता है) जहां आव्यूह जोड़ सम्बन्धों के मिलन से मेल खाता है, आव्यूह गुणन सम्बन्धों की संरचना से मेल खाता है (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 पर एक सजातीय सम्बन्ध आर को एक निर्देशित सरल ग्राफ अनुमति लूप के साथ पहचाना जा सकता है, जहां X वर्टेक्स समुच्चय है और आर किनारे का समुच्चय (एक शीर्ष 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$ के लिए।

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

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

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

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

गणित में, एक विजातीय सम्बन्ध एक द्विआधारी सम्बन्ध है, जो कार्तीय गुणन $A\times 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$ की शक्ति समुच्चय में काम करने के लिए एक कलन प्रदान करती है। समरूप सम्बन्धों के विपरीत, सम्बन्धों के संक्रिया की संरचना केवल एक आंशिक कार्य है। रचित सम्बन्धों के प्रान्त के लिए सीमा के मिलान की आवश्यकता ने सुझाव दिया है कि विजातीय सम्बन्धों का अध्ययन श्रेणी सिद्धांत का एक अध्याय है, जैसा कि समुच्चय की श्रेणी में होता है, सिवाय इसके कि इस श्रेणी के आकारिकी सम्बन्ध हैं। Rel श्रेणी के ऑब्जेक्ट समुच्चय होते हैं, और सम्बन्ध-रूपवाद एक श्रेणी में आवश्यक रूप से बनते हैं।^{[citation needed]}

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

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

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

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

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

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

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

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

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

सम्बन्धों को स्कीन रैंक द्वारा रैंक किया जा सकता है जो एक सम्बन्ध को कवर करने के लिए आवश्यक अवधारणाओं की संख्या की गणना करता है।^[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 के रूप में भी चित्रित किया जा सकता है जैसे कि जहां कहीं भी x1R और x2R में एक गैर-रिक्त चौराहा है, तो ये दो समुच्चय मेल खाते हैं; औपचारिक रूप से $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\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.

(परिभाषा)

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

\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\subseteq {\bar {I}}

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

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

गणितीय ढेर

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

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

@@ Line 4: / Line 4: @@
 गणित में, '''द्विआधारी (बाइनरी) सम्बन्ध''' किसी समुच्चय के अवयवों को सम्मिलित करता है, जिसे ''प्रान्त (डोमेन)'' कहा जाता है, तथा किसी अन्य समुच्चय के अवयवों के साथ, ''सहप्रांत (कोडोमेन)'' कहलाता है।<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" />
-द्विआधारी सम्बन्ध का एक उदाहरण [[अभाज्य संख्या]] <math>\mathbb{P}</math> के समुच्चय और [[पूर्णांक]] <math>\mathbb{Z}</math> के समुच्चय पर "[[विभाजित]]" सम्बन्ध है, जिसमें प्रत्येक अभाज्य {{mvar|p}} प्रत्येक पूर्णांक {{mvar|z}} से सम्बन्धित है जो कि {{mvar|p}} का गुणज है, लेकिन उस पूर्णांक से नहीं जो {{mvar|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 से नहीं।
-विभिन्न प्रकार की अवधारणाओं को प्रतिरूपित करने के लिए गणित की कई शाखाओं में द्विआधारी सम्बन्ध का उपयोग किया जाता है। इनमें अन्य बातों के साथ-साथ शामिल हैं:
+विभिन्न प्रकार की अवधारणाओं को प्रतिरूपित करने के लिए गणित की कई शाखाओं में द्विआधारी सम्बन्ध का उपयोग किया जाता है। इनमें अन्य के साथ निम्लिखित भी सम्मिलित हैं:
-* [[समानता (गणित)|असमानता]], समानता, और [[अंकगणित]] में सम्बन्धों को विभाजित करता है;
+* [[अंकगणित]] में "से बड़ा है", "बराबर है", और "विभाजित" संबंध;
-* [[ज्यामिति]] में [[सर्वांगसमता (ज्यामिति)]] सम्बन्ध;
+*[[ज्यामिति]] में "[[सर्वांगसमता (ज्यामिति)|के सर्वांगसम]]" संबंध;
-* [[ग्राफ सिद्धांत]] में सम्बन्ध के निकट है;
+*[[ग्राफ सिद्धांत]] में "निकटवर्ती है" संबंध;
-* रैखिक बीजगणित में सम्बन्ध के लिए [[ओर्थोगोनल]] है।
+* रैखिक बीजगणित में "के [[ओर्थोगोनल|लंबकोणीय]] है" संबंध।
-एक फ़ंक्शन को एक विशेष प्रकार के बाइनरी सम्बन्ध के रूप में परिभाषित किया जा सकता है।<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">[[Gunther Schmidt]], 2010. ''Relational Mathematics''. Cambridge University Press, {{ISBN|978-0-521-76268-7}}, Chapt. 5</ref> सम्बन्धों के गहन विश्लेषण में उन्हें अवधारणाओं नामक उपसमुच्चय में विघटित करना और उन्हें एक [[पूर्ण जाली|पूर्ण जालक]] में रखना सम्मिलित है।
 [[स्वयंसिद्ध सेट सिद्धांत|स्वयंसिद्ध समुच्चय सिद्धांत]] की कुछ प्रणालियों में, सम्बन्धों को [[वर्ग (गणित)|वर्गों]] तक विस्तारित किया जाता है, जो समुच्चयों का सामान्यीकरण है। रसेल के विरोधाभास जैसे तार्किक विसंगतियों में भाग लिए बिना, अन्य बातों के अलावा, इस विस्तार की आवश्यकता समुच्चय सिद्धांत में "का एक अवयव है" या "का एक उपसमुच्चय है" की अवधारणाओं को मॉडलिंग करने के लिए है।
-शर्तें पत्राचार,<ref>Jacobson, Nathan (2009), [https://books.google.com/books?id=hn75exNZZ-EC&printsec=frontcover#v=onepage&q=correspondence Basic Algebra II (2nd ed.)] §&nbsp;2.1.</ref> डायाडिक सम्बन्ध और दो-स्थान सम्बन्ध द्विआधारी सम्बन्ध के लिए समानार्थी हैं, हालांकि कुछ लेखक {{mvar|X}} और {{mvar|Y}} के संदर्भ के बिना कार्टेशियन उत्पाद <math>X \times Y</math> के किसी भी उपसमूह के लिए "द्विआधारी सम्बन्ध" शब्द का उपयोग करते हैं, और शब्द "बाइनरी रिलेशन" का उपयोग करते हैं। पत्राचार" {{mvar|X}} और {{mvar|Y}} के संदर्भ में एक द्विआधारी सम्बन्ध के लिए।{{citation needed|reason=Who?|date=June 2021}}<!---[[Dyadic relation]]---><!---[[Two-place relation]]--->
+संबंध ''समतुल्यता'',<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> के रूप में परिभाषित किया गया है और इसके अवयवों को क्रमित युग्म कहा जाता है।
-समुच्चय एक्स और वाई पर एक द्विआधारी सम्बन्ध आर <math>X \times Y</math><ref name="Codd1970" /><ref>{{harvnb|Enderton|1977|loc=Ch 3. pg. 40}}</ref> का एक उपसमुच्चय है, समुच्चय एक्स को डोमेन<ref name="Codd1970" /> या आर के प्रस्थान का समुच्चय कहा जाता है, और समुच्चय वाई को कोडोमेन या आर के गंतव्य का समुच्चय कहा जाता है। समुच्चय एक्स और वाई के विकल्पों को निर्दिष्ट करने के लिए, कुछ लेखक द्विआधारी सम्बन्ध या पत्राचार को एक क्रमित ट्रिपल {{math|(''X'', ''Y'', ''G'')}} के रूप में परिभाषित करते हैं, जहां जी <math>X \times Y</math> का एक उपसमुच्चय है जिसे द्विआधारी सम्बन्ध का ग्राफ कहा जाता है। बयान <math>(x, y) \in R</math> पढ़ता है "x आर से सम्बन्धित है" और 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}} परिभाषा का डोमेन या आर का सक्रिय डोमेन<ref name="Codd1970" /> सभी एक्स का समुच्चय है जैसे कम से कम एक वाई के लिए एक्सआरवाई। परिभाषा का कोडोमेन, सक्रिय कोडोमेन,<ref name="Codd1970" /> छवि या R की श्रेणी सभी y का समुच्चय है जैसे कम से कम एक x के लिए xRy। 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 65: / Line 65: @@
 </ref>
-जब <math>X = Y,</math> एक द्विआधारी सम्बन्ध को एक {{em|[[सजातीय संबंध]]}} (या अंतःकरण) कहा जाता है। इस तथ्य पर जोर देने के लिए कि एक्स और वाई को अलग-अलग होने की अनुमति है, एक द्विआधारी सम्बन्ध को विषम सम्बन्ध भी कहा जाता है।<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 = 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 को विभाजित नहीं करता।
+द्विआधारी सम्बन्ध में, अवयवों का क्रम महत्वपूर्ण है; यदि <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" | गेंद
+! scope="col" | बॉल
 ! scope="col" | कार
 ! 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> के उपसमुच्चय के रूप में देखा जा सकता था, यानी A और <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 = {NA, SA, AF, EU, AS, AU, AA}, [[महाद्वीप]] हैं। माना aRb उस महासागर को निरूपित करता है जो महाद्वीप b की सीमा बनाता है। तब इस सम्बन्ध के लिए [[तार्किक मैट्रिक्स|तार्किक आव्यूह]] है:
+) मान लीजिए कि 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
 |}
 :<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>
-ग्रह पृथ्वी की संयोजकता को आर आरटी और आरटी आर के माध्यम से देखा जा सकता है, पूर्व में ए पर <math>4 \times 4</math> सम्बन्ध है, जो सार्वभौमिक सम्बन्ध (<math>A \times A</math> या सभी का एक तार्किक मैट्रिक्स) है। यह सार्वभौमिक सम्बन्ध इस तथ्य को दर्शाता है कि प्रत्येक महासागर दूसरे महाद्वीपों से अधिक से अधिक एक महाद्वीप से अलग होता है। दूसरी ओर, आरटी आर <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|द्विगुणित]] का उपयोग किया जाता है; वास्तव में, वे "अवधारणाएँ" हैं जो एक सम्बन्ध से जुड़ी एक जाली उत्पन्न करती हैं।[[File:Add_velocity_ark_POV.svg|right|thumb|200px|विभिन्न टी अक्ष गति में पर्यवेक्षकों के लिए समय का प्रतिनिधित्व करते हैं, सम्बन्धित एक्स अक्ष उनकी समकालिकता की रेखाएं हैं I]]4) [[हाइपरबोलिक ऑर्थोगोनलिटी|अतिपरवलयिक रूढ़िवादिता]]: समय और स्थान विभिन्न श्रेणियां हैं, और लौकिक गुण स्थानिक गुणों से अलग हैं। समकालिक घटनाओं का विचार निरपेक्ष समय और स्थान में सरल है क्योंकि हर बार t उस ब्रह्माण्ड विज्ञान में एक साथ होने वाले [[hyperplane|हाइपरप्लेन]] को निर्धारित करता है। [[हरमन मिन्कोव्स्की]] ने इसे बदल दिया जब उन्होंने सापेक्ष समकालिकता की धारणा को व्यक्त किया, जो कि तब मौजूद होता है जब स्थानिक घटनाएं एक वेग की विशेषता वाले समय के लिए "सामान्य" होती हैं। उन्होंने एक अनिश्चित आंतरिक उत्पाद का उपयोग किया, और निर्दिष्ट किया कि एक समय वेक्टर एक अंतरिक्ष वेक्टर के लिए सामान्य होता है जब वह उत्पाद शून्य होता है। [[रचना बीजगणित]] में अनिश्चित आंतरिक उत्पाद किसके द्वारा दिया जाता है
+जिस प्रकार [[गुट (ग्राफ सिद्धांत)|गुट]] किसी समुच्चय पर सम्बन्धों का अभिन्न अंग है, उसी प्रकार विजातीय सम्बन्धों का वर्णन करने के लिए [[biclique|द्विगुणित]] का उपयोग किया जाता है; वास्तव में, वे "अवधारणाएँ" हैं जो एक सम्बन्ध से जुड़ी एक जालकी उत्पन्न करती हैं।[[File:Add_velocity_ark_POV.svg|right|thumb|200px|विभिन्न टी अक्ष गति में पर्यवेक्षकों के लिए समय का प्रतिनिधित्व करते हैं, सम्बन्धित X अक्ष उनकी समकालिकता की रेखाएं हैं I]]4) [[हाइपरबोलिक ऑर्थोगोनलिटी|अतिपरवलकीय लम्बकोणीयता]]: समय और स्थान विभिन्न श्रेणियां हैं, और कालगत गुण स्थानिक गुणों से अलग हैं। ''समकालिक घटनाओं'' का विचार निरपेक्ष समय और स्थान में सरल है क्योंकि हर बार ''t'' उस ब्रह्माण्ड विज्ञान में एक साथ होने वाले [[hyperplane|अधिसमतल]] को निर्धारित करता है। [[हरमन मिन्कोव्स्की]] ने इसे बदल दिया जब उन्होंने सापेक्ष समकालिकता की धारणा को व्यक्त किया, जो कि तब मौजूद होता है जब स्थानिक घटनाएं एक वेग की विशेषता वाले समय के लिए "सामान्य" होती हैं। उन्होंने एक अनिश्चित आंतरिक गुणन का उपयोग किया, और निर्दिष्ट किया कि एक समय सदिश एक सदिश के लिए सामान्य होता है जब वह गुणन शून्य होता है। [[रचना बीजगणित|संघटन बीजगणित]] में अनिश्चित आंतरिक गुणन किसके द्वारा दिया जाता है
 :<math><x, z> \ =\ x \bar{z} + \bar{x}z\;</math> जहां ओवरबार संयुग्मन को दर्शाता है।
-कुछ लौकिक घटनाओं और कुछ स्थानिक घटनाओं के बीच सम्बन्ध के रूप में, अतिशयोक्तिपूर्ण ओर्थोगोनलिटी (जैसा कि [[विभाजित-जटिल संख्या|विभाजित-जटिल संख्याओं]] में पाया जाता है) एक विषम सम्बन्ध है।<ref>{{wikibooks-inline|Calculus/Hyperbolic angle#Split-complex theory|Relative simultaneity}}</ref>
+कुछ लौकिक घटनाओं और कुछ स्थानिक घटनाओं के बीच सम्बन्ध के रूप में, अतिपरवलकीय लम्बकोणीयता (जैसा कि [[विभाजित-जटिल संख्या|विभाजित-समिश्र संख्याओं]] में पाया जाता है) विजातीय सम्बन्ध है।<ref>{{wikibooks-inline|Calculus/Hyperbolic angle#Split-complex theory|Relative simultaneity}}</ref>
-) एक [[ज्यामितीय विन्यास]] को उसके बिंदुओं और उसकी रेखाओं के बीच के सम्बन्ध के रूप में माना जा सकता है। सम्बन्ध को [[घटना संबंध|घटना]] के रूप में व्यक्त किया जाता है। परिमित और अनंत प्रक्षेपी और एफ़ाइन विमान शामिल हैं। [[जैकब स्टेनर]] ने [[स्टेनर प्रणाली]] <math>\text{S}(t, k, n)</math> के साथ विन्यासों की सूची बनाने का बीड़ा उठाया है जिसमें एक एन-एलिमेंट समुच्चय एस और के-एलिमेंट उपसमुच्चय का एक समुच्चय है जिसे ब्लॉक कहा जाता है, जैसे कि टी अवयवों वाला एक उपसमुच्चय सिर्फ एक ब्लॉक में निहित है। इन [[घटना संरचना|आपतन संरचनाओं]] को [[ब्लॉक डिजाइन|ब्लॉक अभिकल्पनाओं]] के साथ सामान्यीकृत किया गया है। इन ज्यामितीय संदर्भों में प्रयुक्त [[घटना मैट्रिक्स]] आम तौर पर बाइनरी सम्बन्धों के साथ उपयोग किए जाने वाले तार्किक मैट्रिक्स से मेल खाती है।
+) [[ज्यामितीय विन्यास]] को उसके बिंदुओं और उसकी रेखाओं के बीच के सम्बन्ध के रूप में माना जा सकता है। सम्बन्ध को [[घटना संबंध|घटना]] के रूप में व्यक्त किया जाता है। परिमित और अनंत प्रक्षेपी और एफ़ाइन विमान सम्मिलित हैं। [[जैकब स्टेनर]] ने [[स्टेनर प्रणाली]] <math>\text{S}(t, k, n)</math> के साथ विन्यासों की सूची बनाने का बीड़ा उठाया है जिसमें एक एन-एलिमेंट समुच्चय एस और के-एलिमेंट उपसमुच्चय का एक समुच्चय है जिसे ब्लॉक कहा जाता है, जैसे कि टी अवयवों वाला एक उपसमुच्चय केवल एक ब्लॉक में निहित है। इन [[घटना संरचना|आपतन संरचनाओं]] को [[ब्लॉक डिजाइन|ब्लॉक अभिकल्पनाओं]] के साथ सामान्यीकृत किया गया है। इन ज्यामितीय संदर्भों में प्रयुक्त [[घटना मैट्रिक्स|घटना आव्यूह]] सामान्यतः द्विआधारी सम्बन्धों के साथ उपयोग किए जाने वाले तार्किक आव्यूह से मेल खाती है।
-: एक घटना संरचना एक ट्रिपल डी = (वी, बी, आई) है जहां वी और बी कोई भी दो अलग समुच्चय हैं और मैं वी और बी के बीच एक द्विआधारी सम्बन्ध है, यानी <math>I \subseteq V \times \textbf{B}</math>। वी के अवयवों को बिंदु कहा जाएगा, जो बी के हैं ब्लॉक और 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>
+: घटना संरचना एक ट्रिपल '''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'' नीचे सूचीबद्ध हैं।
 विशिष्टता गुण:
@@ Line 177: / Line 177: @@
   | isbn=978-3-89675-629-9
   | pages=21–22
-}}</ref> सभी <math>x, z \in X</math> और सभी <math>y \in Y,</math> के लिए, यदि {{math|''xRy''}} और {{math|''zRy''}} तो {{math|1=''x'' = ''z''}}। ऐसे सम्बन्ध के लिए, {Y} को R की [[प्राथमिक कुंजी]] कहते हैं।<ref name="Codd1970" /> उदाहरण के लिए, आरेख में हरे और नीले रंग के द्विआधारी सम्बन्ध इंजेक्शन हैं, लेकिन लाल वाला (क्योंकि यह -1 और 1 से 1 दोनों को सम्बन्धित करता है), और न ही काला वाला है (क्योंकि यह -1 और 1 से 0 दोनों से सम्बन्धित है)।
+}}</ref> सभी <math>x, z \in X</math> और सभी <math>y \in Y,</math> के लिए, यदि {{math|''xRy''}} और {{math|''zRy''}} तो {{math|1=''x'' = ''z''}}। ऐसे सम्बन्ध के लिए, {Y} को R की [[प्राथमिक कुंजी]] कहते हैं।<ref name="Codd1970" /> उदाहरण के लिए, आरेख में हरे और नीले रंग के द्विआधारी सम्बन्ध इंजेक्शन हैं, परन्तु लाल वाला (क्योंकि यह -1 और 1 से 1 दोनों को सम्बन्धित करता है), और न ही काला वाला है (क्योंकि यह -1 और 1 से 0 दोनों से सम्बन्धित है)।
-*कार्यात्मक (जिसे राइट-यूनीक भी कहा जाता है,<ref name="kkm" /> राइट-डेफिनिट<ref>{{citation|title=Spatial Information Theory: 8th International Conference, COSIT 2007, Melbourne, Australia, September 19–23, 2007, Proceedings|series=Lecture Notes in Computer Science|publisher=Springer|volume=4736|year=2007|pages=285–302|contribution=Reasoning on Spatial Semantic Integrity Constraints|first=Stephan|last=Mäs|doi=10.1007/978-3-540-74788-8_18}}</ref> या यूनिवेलेंट):<ref name="gs" /> सभी <math>x \in X</math> और सभी <math>y, z \in Y,</math> के लिए, यदि {{math|''xRy''}} और {{math|''xRz''}} तो {{math|1=''y'' = ''z''}}। ऐसे द्विआधारी सम्बन्ध को {{em|[[आंशिक फलन]]}} कहते हैं। ऐसे सम्बन्ध के लिए, <math>\{ X \}</math> को R की प्राथमिक कुंजी कहा जाता है।<ref name="Codd1970" /> उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी सम्बन्ध कार्यात्मक हैं, लेकिन नीला वाला (क्योंकि यह 1 को -1 और 1 दोनों से जोड़ता है), और न ही काला वाला है (क्योंकि यह 0 से सम्बन्धित है -1 और 1)।
+*कार्यात्मक (जिसे राइट-यूनीक भी कहा जाता है,<ref name="kkm" /> राइट-डेफिनिट<ref>{{citation|title=Spatial Information Theory: 8th International Conference, COSIT 2007, Melbourne, Australia, September 19–23, 2007, Proceedings|series=Lecture Notes in Computer Science|publisher=Springer|volume=4736|year=2007|pages=285–302|contribution=Reasoning on Spatial Semantic Integrity Constraints|first=Stephan|last=Mäs|doi=10.1007/978-3-540-74788-8_18}}</ref> या यूनिवेलेंट):<ref name="gs" /> सभी <math>x \in X</math> और सभी <math>y, z \in Y,</math> के लिए, यदि {{math|''xRy''}} और {{math|''xRz''}} तो {{math|1=''y'' = ''z''}}। ऐसे द्विआधारी सम्बन्ध को {{em|[[आंशिक फलन]]}} कहते हैं। ऐसे सम्बन्ध के लिए, <math>\{ X \}</math> को R की प्राथमिक कुंजी कहा जाता है।<ref name="Codd1970" /> उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी सम्बन्ध कार्यात्मक हैं, परन्तु नीला वाला (क्योंकि यह 1 को -1 और 1 दोनों से जोड़ता है), और न ही काला वाला है (क्योंकि यह 0 से सम्बन्धित है -1 और 1)।
-* वन-टू-वन: इंजेक्शन और कार्यात्मक। उदाहरण के लिए, आरेख में हरे रंग का द्विआधारी सम्बन्ध एक-से-एक है, लेकिन लाल, नीला और काला नहीं है।
+* वन-टू-वन: इंजेक्शन और कार्यात्मक। उदाहरण के लिए, आरेख में हरे रंग का द्विआधारी सम्बन्ध एक-से-एक है, परन्तु लाल, नीला और काला नहीं है।
-* एक-से-कई: इंजेक्शन और क्रियाशील नहीं। उदाहरण के लिए, आरेख में नीला बाइनरी सम्बन्ध एक-से-कई है, लेकिन लाल, हरे और काले वाले नहीं हैं।
+* एक-से-कई: इंजेक्शन और क्रियाशील नहीं। उदाहरण के लिए, आरेख में नीला द्विआधारी सम्बन्ध एक-से-कई है, परन्तु लाल, हरे और काले वाले नहीं हैं।
-* मैनी-टू-वन: कार्यात्मक और इंजेक्शन नहीं। उदाहरण के लिए, आरेख में लाल बाइनरी सम्बन्ध कई-से-एक है, लेकिन हरे, नीले और काले रंग नहीं हैं।
+* मैनी-टू-वन: कार्यात्मक और इंजेक्शन नहीं। उदाहरण के लिए, आरेख में लाल द्विआधारी सम्बन्ध कई-से-एक है, परन्तु हरे, नीले और काले रंग नहीं हैं।
-* मैनी-टू-मैनी: इंजेक्शन नहीं और न ही कार्यात्मक। उदाहरण के लिए, आरेख में काला बाइनरी सम्बन्ध कई-से-कई है, लेकिन लाल, हरे और नीले रंग नहीं हैं।
+* मैनी-टू-मैनी: इंजेक्शन नहीं और न ही कार्यात्मक। उदाहरण के लिए, आरेख में काला द्विआधारी सम्बन्ध कई-से-कई है, परन्तु लाल, हरे और नीले रंग नहीं हैं।
-संपूर्णता गुण (केवल डोमेन एक्स और कोडोमेन वाई निर्दिष्ट होने पर ही परिभाषित किया जा सकता है):
+संपूर्णता गुण (केवल प्रान्त X और सहप्रांत Y निर्दिष्ट होने पर ही परिभाषित किया जा सकता है):
-* [[कुल संबंध|कुल]] (जिसे लेफ्ट-टोटल भी कहा जाता है):<ref name="kkm" /> X में सभी x के लिए Y में एक y मौजूद है जैसे कि {{math|''xRy''}}। दूसरे शब्दों में, R की परिभाषा का क्षेत्र X के बराबर है। यह गुण गुण में संबद्ध (कुछ लेखकों द्वारा कुल भी कहा जाता है){{citation needed|date=June 2020}} की परिभाषा से भिन्न है। इस तरह के बाइनरी रिलेशन को {{em|[[मल्टीवैल्यूड फंक्शन]]}} कहा जाता है। उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी सम्बन्ध कुल हैं, लेकिन नीला वाला (क्योंकि यह -1 को किसी भी वास्तविक संख्या से सम्बन्धित नहीं करता है), और न ही काला है (क्योंकि यह किसी भी वास्तविक संख्या से 2 को सम्बन्धित नहीं करता है)। एक अन्य उदाहरण के रूप में, > पूर्णांकों पर कुल सम्बन्ध है। लेकिन यह सकारात्मक पूर्णांकों पर कुल सम्बन्ध नहीं है, क्योंकि धनात्मक पूर्णांकों में ऐसा कोई y नहीं है कि {{math|1 > ''y''}}।<ref>{{cite journal|last = Yao|first = Y.Y.|author2=Wong, S.K.M.|title = विशेषता मानों के बीच संबंधों का उपयोग करते हुए किसी न किसी सेट का सामान्यीकरण|journal = Proceedings of the 2nd Annual Joint Conference on Information Sciences|year = 1995|pages = 30–33|url = http://www2.cs.uregina.ca/~yyao/PAPERS/relation.pdf}}.</ref> हालाँकि, < सकारात्मक पूर्णांकों, परिमेय संख्याओं और वास्तविक संख्याओं पर कुल सम्बन्ध है। प्रत्येक स्वतुल्य सम्बन्ध पूर्ण होता है: किसी दिए गए {{mvar|x}} के लिए, {{math|1=''y'' = ''x''}} चुनें।
+* [[कुल संबंध|कुल]] (जिसे लेफ्ट-टोटल भी कहा जाता है):<ref name="kkm" /> 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 से सम्बन्धित नहीं करता है)।
+*विशेषण (जिसे राइट-टोटल<ref name="kkm" /> या ऑनटोटल भी कहा जाता है): Y में सभी y के लिए, X में एक x मौजूद है जैसे xRy। दूसरे शब्दों में, R की परिभाषा का कोड प्रान्त Y के बराबर है। उदाहरण के लिए, आरेख में हरे और नीले रंग के द्विआधारी सम्बन्ध विशेषण हैं, परन्तु लाल वाला (क्योंकि यह -1 से किसी भी वास्तविक संख्या को सम्बन्धित नहीं करता है), और न ही काला वाला है (क्योंकि यह किसी वास्तविक संख्या को 2 से सम्बन्धित नहीं करता है)।
-अद्वितीयता और समग्रता गुण (केवल तभी परिभाषित किया जा सकता है जब डोमेन X और कोडोमेन Y निर्दिष्ट किए गए हों):
+अद्वितीयता और समग्रता गुण (केवल तभी परिभाषित किया जा सकता है जब प्रान्त X और सहप्रांत Y निर्दिष्ट किए गए हों):
-* एक {{em|[[Function (mathematics)|कार्य]]}}: एक द्विआधारी सम्बन्ध जो कार्यात्मक और समग्र है। उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी सम्बन्ध कार्य हैं, लेकिन नीले और काले रंग के नहीं हैं।
+* एक {{em|[[Function (mathematics)|कार्य]]}}: एक द्विआधारी सम्बन्ध जो कार्यात्मक और समग्र है। उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी सम्बन्ध कार्य हैं, परन्तु नीले और काले रंग के नहीं हैं।
-*एक {{em|[[Injective function|इंजेक्शन]]}}: एक कार्य जो इंजेक्शन है। उदाहरण के लिए, आरेख में हरे रंग का बाइनरी सम्बन्ध एक इंजेक्शन है, लेकिन लाल, नीला और काला नहीं है।
+*एक {{em|[[Injective function|इंजेक्शन]]}}: एक कार्य जो इंजेक्शन है। उदाहरण के लिए, आरेख में हरे रंग का द्विआधारी सम्बन्ध एक इंजेक्शन है, परन्तु लाल, नीला और काला नहीं है।
-* एक {{em|[[Surjective function|प्रक्षेपण]]}}: एक कार्य जो विशेषण है। उदाहरण के लिए, आरेख में हरे रंग का बाइनरी सम्बन्ध एक विशेषण है, लेकिन लाल, नीला और काला नहीं है।
+* एक {{em|[[Surjective function|प्रक्षेपण]]}}: एक कार्य जो विशेषण है। उदाहरण के लिए, आरेख में हरे रंग का द्विआधारी सम्बन्ध एक विशेषण है, परन्तु लाल, नीला और काला नहीं है।
-* एक {{em|[[द्विभाजन]]}}: एक कार्य जो अंतःक्षेपी और विशेषण है। उदाहरण के लिए, आरेख में हरे रंग का द्विआधारी सम्बन्ध एक आक्षेप है, लेकिन लाल, नीला और काला नहीं है।
+* एक {{em|[[द्विभाजन]]}}: एक कार्य जो अंतःक्षेपी और विशेषण है। उदाहरण के लिए, आरेख में हरे रंग का द्विआधारी सम्बन्ध एक आक्षेप है, परन्तु लाल, नीला और काला नहीं है।
 {{Anchor|set-like-relation}}यदि उचित वर्गों पर सम्बन्धों की अनुमति है:
 * समुच्चय-लाइक (या स्थानीय): {{mvar|x}} में सभी {{mvar|X}} के लिए, {{mvar|y}} में सभी {{mvar|Y}} की कक्षा जैसे कि {{math|''yRx''}}, अर्थात <math>\{y\in Y : yRx\}</math>, एक समुच्चय है। उदाहरण के लिए, सम्बन्ध <math>\in</math> समुच्चय-लाइक है, और दो समुच्चय पर प्रत्येक सम्बन्ध समुच्चय-लाइक है।<ref>{{cite book|title=सेट थ्योरी: इंट्रोडक्शन टू इंडिपेंडेंस प्रूफ|page=102 |url=https://archive.org/details/settheoryintrodu0000kune/page/102/mode/2up|url-access=registration|last1=Kunen |first1=Kenneth|publisher=North-Holland|year=1980|isbn=0-444-85401-0|zbl=0443.03021}}</ref> सामान्य क्रम < [[क्रमसूचक संख्या|क्रमसूचक संख्याओं]] के वर्ग के ऊपर एक समुच्चय जैसा सम्बन्ध होता है, जबकि इसका प्रतिलोम > नहीं होता है।{{citation needed|date=February 2022}}
-== द्विआधारी सम्बन्धों पर संचालन ==
+== द्विआधारी सम्बन्धों पर संक्रिया ==
 === संघ ===
 <!---This definition should appear before the closure defs, which refer to it:--->
-यदि आर और एस समुच्चय एक्स और वाई पर बाइनरी सम्बन्ध हैं तो <math>R \cup S = \{ (x, y) : xRy \text{ or } xSy \}</math> एक्स और वाई पर आर और एस का संघ सम्बन्ध है।
+यदि आर और एस समुच्चय X और Y पर द्विआधारी सम्बन्ध हैं तो <math>R \cup S = \{ (x, y) : xRy \text{ or } xSy \}</math> X और Y पर आर और एस का संघ सम्बन्ध है।
 पहचान अवयव खाली रिश्ता है। उदाहरण के लिए, <math>\,\leq\,</math> < और = का संघ है, और <math>\,\geq\,</math> > और = का संघ है।
 === प्रतिच्छेदन ===
-यदि आर और एस समुच्चय एक्स और वाई पर द्विआधारी सम्बन्ध हैं तो <math>R \cap S = \{ (x, y) : xRy \text{ and } xSy \}</math> एक्स और वाई पर आर और एस का प्रतिच्छेदन सम्बन्ध है।
+यदि आर और एस समुच्चय X और Y पर द्विआधारी सम्बन्ध हैं तो <math>R \cap S = \{ (x, y) : xRy \text{ and } xSy \}</math> X और Y पर आर और एस का प्रतिच्छेदन सम्बन्ध है।
 पहचान अवयव सार्वत्रिक सम्बन्ध है। उदाहरण के लिए, सम्बन्ध "6 से विभाज्य है" "3 से विभाज्य है" और "2 से विभाज्य है" सम्बन्धों का प्रतिच्छेदन है।
@@ Line 213: / Line 213: @@
 {{main|संबंधों की संरचना}}
-यदि आर समुच्चय एक्स और वाई पर एक द्विआधारी सम्बन्ध है, और एस समुच्चय वाई और जेड पर एक द्विआधारी सम्बन्ध है तो <math>S \circ R = \{ (x, z) : \text{ there exists } y \in Y \text{ such that } xRy \text{ and } ySz \}</math> (आर द्वारा भी निरूपित किया जाता है; एस) एक्स और जेड से अधिक आर और एस का संरचना सम्बन्ध है।
+यदि आर समुच्चय X और Y पर एक द्विआधारी सम्बन्ध है, और एस समुच्चय Y और जेड पर एक द्विआधारी सम्बन्ध है तो <math>S \circ R = \{ (x, z) : \text{ there exists } y \in Y \text{ such that } xRy \text{ and } ySz \}</math> (आर द्वारा भी निरूपित किया जाता है; एस) X और जेड से अधिक आर और एस का संरचना सम्बन्ध है।
 पहचान अवयव पहचान का सम्बन्ध है। नोटेशन <math>S \circ R,</math> में आर और एस का क्रम, यहां इस्तेमाल किए गए [[कार्यों की संरचना]] के लिए मानक नोटेशन ऑर्डर से सहमत हैं। उदाहरण के लिए, रचना (की जनक है)22(की माता है) पैदावार (की नानी है), जबकि रचना (की माता है)33(की जनक है) उपज (की दादी है)। पूर्व मामले के लिए, यदि x, y का माता-पिता है और y, z की माँ है, तो x, z का दादा-दादी है।
@@ Line 241: / Line 241: @@
 {{main|प्रतिबंध (गणित)}}
-यदि R एक समुच्चय X पर एक बाइनरी [[सजातीय संबंध|सजातीय सम्बन्ध]] है और S, X का एक उपसमुच्चय है तो <math>R_{\vert S} = \{ (x, y) \mid xRy \text{ and } x \in S \text{ and } y \in S \}</math>, R से S के ऊपर X का प्रतिबंध सम्बन्ध है।
+यदि R एक समुच्चय X पर एक द्विआधारी [[सजातीय संबंध|सजातीय सम्बन्ध]] है और S, X का एक उपसमुच्चय है तो <math>R_{\vert S} = \{ (x, y) \mid xRy \text{ and } x \in S \text{ and } y \in S \}</math>, R से S के ऊपर X का प्रतिबंध सम्बन्ध है।
 यदि R, X और Y के समुच्चय पर एक द्विआधारी सम्बन्ध है और यदि S, X का एक उपसमुच्चय है तो <math>R_{\vert S} = \{ (x, y) \mid xRy \text{ and } x \in S \}</math> X और Y पर R से S का बायाँ-प्रतिबंध सम्बन्ध है। '''[reference missing स्पष्टीकरण की आवश्यकता]'''
@@ Line 254: / Line 254: @@
 <!---This definition is needed by the closure defs, too, but maybe should better given in an earlier section(?):--->
-समुच्चय X और Y पर एक द्विआधारी सम्बन्ध R को X और Y के ऊपर एक सम्बन्ध S में निहित कहा जाता है, जिसे <math>R \subseteq S,</math> लिखा जाता है, यदि R, S का एक उपसमुच्चय है, यानी सभी <math>x \in X</math> और <math>y \in Y,</math> के लिए, यदि xRy, तो xSy। यदि R, S में समाहित है और S, R में समाहित है, तो R और S को बराबर लिखित R = S कहते हैं। यदि R, S में निहित है, लेकिन S, R में समाहित नहीं है, तो R को S से छोटा कहा जाता है, जिसे <math>R \subsetneq S</math> लिखा जाता है। उदाहरण के लिए, [[परिमेय संख्या|परिमेय संख्याओं]] पर, सम्बन्ध <math>\,>\,</math>, <math>\,\geq,\,</math>से छोटा और संघटन <math>\,>\,\circ\,>\,</math> के बराबर है।
+समुच्चय X और Y पर एक द्विआधारी सम्बन्ध 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> के बराबर है।
-=== मैट्रिक्स प्रतिनिधित्व ===
+=== आव्यूह प्रतिनिधित्व ===
-समुच्चय एक्स और वाई पर द्विआधारी सम्बन्धों को एक्स और वाई द्वारा अनुक्रमित तार्किक मैट्रिक्स द्वारा [[बूलियन सेमिरिंग]] में प्रविष्टियों के साथ बीजगणितीय रूप से प्रदर्शित किया जा सकता है (इसके अलावा 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 द्वारा अनुक्रमित तार्किक आव्यूह द्वारा [[बूलियन सेमिरिंग]] में प्रविष्टियों के साथ बीजगणितीय रूप से प्रदर्शित किया जा सकता है (इसके अलावा 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>
 == समुच्चय बनाम कक्षाएं ==
-कुछ गणितीय "सम्बन्ध", जैसे "बराबर", "उपसमुच्चय", और "सदस्य", को बाइनरी सम्बन्ध नहीं समझा जा सकता है जैसा कि ऊपर परिभाषित किया गया है, क्योंकि उनके डोमेन और कोडोमेन को स्वयंसिद्ध समुच्चय सिद्धांत की सामान्य प्रणालियों में समुच्चय नहीं माना जा सकता है। उदाहरण के लिए, "समानता" की सामान्य अवधारणा को एक द्विआधारी सम्बन्ध <math>\,=,</math> के रूप में मॉडल करने के लिए डोमेन और कोडोमेन को "सभी समुच्चयों का वर्ग" लें, जो सामान्य समुच्चय सिद्धांत में एक समुच्चय नहीं है।
+कुछ गणितीय "सम्बन्ध", जैसे "बराबर", "उपसमुच्चय", और "सदस्य", को द्विआधारी सम्बन्ध नहीं समझा जा सकता है जैसा कि ऊपर परिभाषित किया गया है, क्योंकि उनके प्रान्त और सहप्रांत को स्वयंसिद्ध समुच्चय सिद्धांत की सामान्य प्रणालियों में समुच्चय नहीं माना जा सकता है। उदाहरण के लिए, "समानता" की सामान्य अवधारणा को एक द्विआधारी सम्बन्ध <math>\,=,</math> के रूप में मॉडल करने के लिए प्रान्त और सहप्रांत को "सभी समुच्चयों का वर्ग" लें, जो सामान्य समुच्चय सिद्धांत में एक समुच्चय नहीं है।
-अधिकांश गणितीय संदर्भों में, समानता, सदस्यता और उपसमुच्चय के सम्बन्धों के संदर्भ हानिरहित होते हैं क्योंकि उन्हें संदर्भ में कुछ समुच्चय तक ही सीमित रूप से समझा जा सकता है। इस समस्या का सामान्य वर्क-अराउंड एक "पर्याप्त बड़ा" समुच्चय A का चयन करना है, जिसमें रुचि के सभी ऑब्जेक्ट शामिल हैं, और = के बजाय प्रतिबंध =A के साथ कार्य करना है। इसी तरह, सम्बन्ध <math>\,\subseteq\,</math> के "उपसमुच्चय" को डोमेन और कोडोमेन P(A) (एक विशिष्ट समुच्चय A का पावर समुच्चय) के लिए प्रतिबंधित करने की आवश्यकता है: परिणामी समुच्चय सम्बन्ध को <math>\,\subseteq_A\,</math> द्वारा निरूपित किया जा सकता है। इसके अलावा, "सदस्य" सम्बन्ध को एक बाइनरी सम्बन्ध <math>\,\in\,</math> प्राप्त करने के लिए डोमेन ए और कोडोमेन पी (ए) तक सीमित होना चाहिए जो एक समुच्चय है। बर्ट्रेंड रसेल ने दिखाया है कि <math>\,\in_A\,</math> को सभी समुच्चयों पर परिभाषित करने के लिए सहज समुच्चय सिद्धांत में एक विरोधाभास होता है, रसेल के विरोधाभास को देखें।
+अधिकांश गणितीय संदर्भों में, समानता, सदस्यता और उपसमुच्चय के सम्बन्धों के संदर्भ हानिरहित होते हैं क्योंकि उन्हें संदर्भ में कुछ समुच्चय तक ही सीमित रूप से समझा जा सकता है। इस समस्या का सामान्य वर्क-अराउंड एक "पर्याप्त बड़ा" समुच्चय A का चयन करना है, जिसमें रुचि के सभी ऑब्जेक्ट सम्मिलित हैं, और = के बजाय प्रतिबंध =A के साथ कार्य करना है। इसी तरह, सम्बन्ध <math>\,\subseteq\,</math> के "उपसमुच्चय" को प्रान्त और सहप्रांत P(A) (एक विशिष्ट समुच्चय A का पावर समुच्चय) के लिए प्रतिबंधित करने की आवश्यकता है: परिणामी समुच्चय सम्बन्ध को <math>\,\subseteq_A\,</math> द्वारा निरूपित किया जा सकता है। इसके अलावा, "सदस्य" सम्बन्ध को एक द्विआधारी सम्बन्ध <math>\,\in\,</math> प्राप्त करने के लिए प्रान्त ए और सहप्रांत पी (ए) तक सीमित होना चाहिए जो एक समुच्चय है। बर्ट्रेंड रसेल ने दिखाया है कि <math>\,\in_A\,</math> को सभी समुच्चयों पर परिभाषित करने के लिए सहज समुच्चय सिद्धांत में एक विरोधाभास होता है, रसेल के विरोधाभास को देखें।
-इस समस्या का एक अन्य समाधान [[उचित वर्ग|उचित वर्गों]] के साथ एक समुच्चय सिद्धांत का उपयोग करना है, जैसे कि एनबीजी या मोर्स-केली समुच्चय सिद्धांत, और डोमेन और कोडोमेन (और इसलिए ग्राफ़) को उचित वर्ग होने दें: ऐसे सिद्धांत में, समानता, सदस्यता, और उपसमुच्चय बिना किसी विशेष टिप्पणी के द्विआधारी सम्बन्ध हैं। (क्रमित ट्रिपल {{math|(''X'', ''Y'', ''G'')}} की अवधारणा के लिए एक मामूली संशोधन की आवश्यकता है, क्योंकि आम तौर पर एक उचित वर्ग एक क्रमित टपल का सदस्य नहीं हो सकता है; या निश्चित रूप से कोई इस संदर्भ में इसके ग्राफ के साथ द्विआधारी सम्बन्ध की पहचान कर सकता है।)<ref>{{cite book |title=चर के बिना सेट सिद्धांत की औपचारिकता|last1=Tarski |first1=Alfred |author-link=Alfred Tarski |last2=Givant |first2=Steven |year=1987 |page=[https://archive.org/details/formalizationofs0000tars/page/3 3] |publisher=American Mathematical Society |isbn=0-8218-1041-3 |url=https://archive.org/details/formalizationofs0000tars/page/3 }}</ref> इस परिभाषा के साथ, उदाहरण के लिए, प्रत्येक समुच्चय और उसके पावर समुच्चय पर एक द्विआधारी सम्बन्ध को परिभाषित कर सकते हैं।
+इस समस्या का एक अन्य समाधान [[उचित वर्ग|उचित वर्गों]] के साथ एक समुच्चय सिद्धांत का उपयोग करना है, जैसे कि एनबीजी या मोर्स-केली समुच्चय सिद्धांत, और प्रान्त और सहप्रांत (और इसलिए ग्राफ़) को उचित वर्ग होने दें: ऐसे सिद्धांत में, समानता, सदस्यता, और उपसमुच्चय बिना किसी विशेष टिप्पणी के द्विआधारी सम्बन्ध हैं। (क्रमित ट्रिपल {{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> इस परिभाषा के साथ, उदाहरण के लिए, प्रत्येक समुच्चय और उसके पावर समुच्चय पर एक द्विआधारी सम्बन्ध को परिभाषित कर सकते हैं।
 == सजातीय सम्बन्ध ==
@@ Line 269: / Line 269: @@
 एक समुच्चय X पर एक सजातीय सम्बन्ध, X और स्वयं के ऊपर एक द्विआधारी सम्बन्ध है, अर्थात यह कार्तीय गुणनफल <math>X \times X</math> का एक उपसमुच्चय है।<ref name="Winter2007" /><ref name="Müller2012">{{cite book|author=M. E. Müller|title=संबंधपरक ज्ञान की खोज|year=2012|publisher=Cambridge University Press|isbn=978-0-521-19021-3|page=22}}</रेफरी><nowiki><ref name="PahlDamrath2001-p496"></nowiki>{{cite book|author1=Peter J. Pahl|author2=Rudolf Damrath|title=कम्प्यूटेशनल इंजीनियरिंग की गणितीय नींव: एक पुस्तिका|year=2001|publisher=Springer Science & Business Media|isbn=978-3-540-67995-0|page=496}}</ref><ref name="PahlDamrath2001-p496">{{Cite book|last=Peter J. Pahl|title=Mathematical Foundations of Computational Engineering: A Handbook|last2=Rudolf Damrath|publisher=Springer Science & Business Media|year=2001|isbn=978-3-540-67995-0|page=496}}</ref> इसे केवल X पर एक (द्विआधारी) सम्बन्ध भी कहा जाता है।
-एक समुच्चय एक्स पर एक सजातीय सम्बन्ध आर को एक निर्देशित सरल ग्राफ अनुमति लूप के साथ पहचाना जा सकता है, जहां एक्स वर्टेक्स समुच्चय है और आर किनारे का समुच्चय (एक शीर्ष x से एक शीर्ष y तक एक किनारा है यदि और केवल यदि {{math|''xRy''}}) है। समुच्चय एक्स पर सभी सजातीय सम्बन्धों का समुच्चय <math>\mathcal{B}(X)</math> पावर समुच्चय <math>2^{X \times X}</math> है जो एक [[बूलियन बीजगणित (संरचना)|बूलियन बीजगणित]] है जो इसके विपरीत सम्बन्ध के सम्बन्ध के मानचित्रण के समावेशन के साथ बढ़ाया गया है। <math>\mathcal{B}(X)</math> पर एक [[बाइनरी ऑपरेशन]] के रूप में सम्बन्धों की संरचना पर विचार करते हुए, यह शामिल होने के साथ एक अर्धसमूह बनाता है।
+एक समुच्चय X पर एक सजातीय सम्बन्ध आर को एक निर्देशित सरल ग्राफ अनुमति लूप के साथ पहचाना जा सकता है, जहां X वर्टेक्स समुच्चय है और आर किनारे का समुच्चय (एक शीर्ष x से एक शीर्ष y तक एक किनारा है यदि और केवल यदि {{math|''xRy''}}) है। समुच्चय X पर सभी सजातीय सम्बन्धों का समुच्चय <math>\mathcal{B}(X)</math> पावर समुच्चय <math>2^{X \times X}</math> है जो एक [[बूलियन बीजगणित (संरचना)|बूलियन बीजगणित]] है जो इसके विपरीत सम्बन्ध के सम्बन्ध के मानचित्रण के अंतर्वेशन के साथ बढ़ाया गया है। <math>\mathcal{B}(X)</math> पर एक [[बाइनरी ऑपरेशन|द्विआधारी संक्रिया]] के रूप में सम्बन्धों की संरचना पर विचार करते हुए, यह सम्मिलित होने के साथ एक अर्धसमूह बनाता है।
 सजातीय सम्बन्ध के कुछ महत्वपूर्ण गुण {{mvar|R}} एक समुच्चय पर {{mvar|X}} हो सकता है:
-* {{em|[[Reflexive relation|प्रतिवर्त]]}}: सभी <math>x \in X,</math> {{math|''xRx''}} के लिए। उदाहरण के लिए, <math>\,\geq\,</math> एक प्रतिवर्त सम्बन्ध है लेकिन > नहीं है।
+* {{em|[[Reflexive relation|प्रतिवर्त]]}}: सभी <math>x \in X,</math> {{math|''xRx''}} के लिए। उदाहरण के लिए, <math>\,\geq\,</math> एक प्रतिवर्त सम्बन्ध है परन्तु > नहीं है।
-*{{em|[[Irreflexive relation|अपवर्तक]]}}: सभी <math>x \in X,</math> के लिए नहीं {{math|''xRx''}}। उदाहरण के लिए, <math>\,>\,</math> एक अपरिवर्तनीय सम्बन्ध है, लेकिन <math>\,\geq\,</math> नहीं है।
+*{{em|[[Irreflexive relation|अपवर्तक]]}}: सभी <math>x \in X,</math> के लिए नहीं {{math|''xRx''}}। उदाहरण के लिए, <math>\,>\,</math> एक अपरिवर्तनीय सम्बन्ध है, परन्तु <math>\,\geq\,</math> नहीं है।
 * {{em|[[Symmetric relation|सममित]]}}: सभी के लिए <math>x, y \in X,</math> यदि {{math|''xRy''}} तो {{math|''yRx''}}। उदाहरण के लिए, "का रक्त सम्बन्धी है" एक सममित सम्बन्ध है।
 * {{em|[[Antisymmetric relation|एंटीसिमेट्रिक]]}}: सभी <math>x, y \in X,</math> के लिए यदि {{math|''xRy''}} और {{math|''yRx''}} तो <math>x = y</math>। उदाहरण के लिए, <math>\,\geq\,</math> एक एंटीसिमेट्रिक सम्बन्ध है।<ref>{{citation|first1=Douglas|last1=Smith|first2=Maurice|last2=Eggen|first3=Richard|last3=St. Andre|title=A Transition to Advanced Mathematics|edition=6th|publisher=Brooks/Cole|year=2006|isbn=0-534-39900-2|page=160}}</ref>
@@ Line 281: / Line 281: @@
 * {{em|[[Connected relation|मजबूती से जुड़ा हुआ]]}}: सभी <math>x, y \in X,</math> {{math|''xRy''}} या {{math|''yRx''}} के लिए।
-एक {{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 के समानांतर है" [[यूक्लिडियन विमान]] में सभी रेखाओं के समुच्चय पर एक समानता सम्बन्ध है।
+एक {{em|[[Partially ordered set#Formal definition|आंशिक क्रम]]}} एक ऐसा सम्बन्ध है जो प्रतिवर्त, प्रतिसममित और सकर्मक होता है। एक {{em|[[Partially ordered set#Correspondence of strict and non-strict partial order relations|सख्त आंशिक क्रम]]}} एक ऐसा सम्बन्ध है जो अप्रतिवर्ती, प्रतिसममित और सकर्मक होता है। {{em|[[कुल क्रम]]}} एक ऐसा सम्बन्ध है जो प्रतिवर्ती, प्रतिसममित, संक्रामक और जुड़ा हुआ है।<ref>Joseph G. Rosenstein, ''Linear orderings'', Academic Press, 1982, {{ISBN|0-12-597680-1}}, p.&nbsp;4</ref> एक {{em|[[Total order#Strict total order|सख्त कुल आदेश]]}} एक ऐसा सम्बन्ध है जो अप्रतिवर्ती, प्रतिसममित, संक्रामक और जुड़ा हुआ है। एक {{em|[[तुल्यता संबंध]]}} एक ऐसा सम्बन्ध है जो प्रतिवर्ती, सममित और सकर्मक है। उदाहरण के लिए, "x विभाजित करता है y" एक आंशिक है, परन्तु [[प्राकृतिक संख्या]] <math>\N,</math> पर कुल क्रम नहीं "x < y" <math>\N,</math> पर एक सख्त कुल अनुक्रम है और "x y के समानांतर है" [[यूक्लिडियन विमान]] में सभी रेखाओं के समुच्चय पर एक समानता सम्बन्ध है।
-अनुभाग में परिभाषित सभी ऑपरेशन बाइनरी सम्बन्धों पर संचालन भी सजातीय सम्बन्धों पर लागू होते हैं। इसके अलावा, एक समुच्चय एक्स पर एक सजातीय सम्बन्ध को क्लोजर ऑपरेशन के अधीन किया जा सकता है जैसे:
+अनुभाग में परिभाषित सभी संक्रिया द्विआधारी सम्बन्धों पर संक्रिया भी सजातीय सम्बन्धों पर लागू होते हैं। इसके अलावा, एक समुच्चय X पर एक सजातीय सम्बन्ध को क्लोजर संक्रिया के अधीन किया जा सकता है जैसे:
-; {{em|[[परावर्तक बंद]]}}: एक्स युक्त आर पर सबसे छोटा रिफ्लेक्सिव सम्बन्ध,
+; {{em|[[परावर्तक बंद]]}}: X युक्त आर पर सबसे छोटा रिफ्लेक्सिव सम्बन्ध,
 ; {{em|[[संक्रमणीय बंद]]}}: R युक्त X पर सबसे छोटा सकर्मक सम्बन्ध,
 ; {{em|[[समतुल्य बंद]]}}: R युक्त X पर सबसे छोटा समतुल्य सम्बन्ध।
-== विषम सम्बन्ध ==
+== विजातीय सम्बन्ध ==
-गणित में, एक विषम सम्बन्ध एक द्विआधारी सम्बन्ध है, जो कार्तीय उत्पाद <math>A \times B,</math> का एक [[सबसेट|उपसमुच्चय]] है जहां ए और बी संभवतः भिन्न समुच्चय हैं।<ref name="Schmidt p.77" /> उपसर्ग हेटेरो ग्रीक ἕτερος (विषमलैंगिक, "अन्य, अन्य, भिन्न") से है।
+गणित में, एक विजातीय सम्बन्ध एक द्विआधारी सम्बन्ध है, जो कार्तीय गुणन <math>A \times B,</math> का एक [[सबसेट|उपसमुच्चय]] है जहां ए और बी संभवतः भिन्न समुच्चय हैं।<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>
+एक विजातीय सम्बन्ध को एक आयताकार सम्बन्ध कहा गया है,<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> की शक्ति समुच्चय में काम करने के लिए एक कलन प्रदान करती है।
+[[बीजगणितीय तर्क|बीजगणितीय तर्कशास्त्र]] में विकास ने द्विआधारी सम्बन्धों के उपयोग को सुगम बनाया है। सम्बन्धों की गणना में समुच्चयों का बीजगणित सम्मिलित है, सम्बन्धों की संरचना और विपरीत सम्बन्धों के उपयोग द्वारा विस्तारित। अंतर्वेशन <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> की शक्ति समुच्चय में काम करने के लिए एक कलन प्रदान करती है।
-समरूप सम्बन्धों के विपरीत, सम्बन्धों के संचालन की संरचना केवल एक आंशिक कार्य है। रचित सम्बन्धों के डोमेन के लिए सीमा के मिलान की आवश्यकता ने सुझाव दिया है कि विषम सम्बन्धों का अध्ययन [[श्रेणी सिद्धांत]] का एक अध्याय है, जैसा कि [[सेट की श्रेणी|समुच्चय की श्रेणी]] में होता है, सिवाय इसके कि इस श्रेणी के आकारिकी सम्बन्ध हैं। Rel श्रेणी के ऑब्जेक्ट समुच्चय होते हैं, और सम्बन्ध-रूपवाद एक [[श्रेणी (गणित)|श्रेणी]] में आवश्यक रूप से बनते हैं।{{citation needed|reason=Who has suggested this, when, and where?|date=June 2021}}
+समरूप सम्बन्धों के विपरीत, सम्बन्धों के संक्रिया की संरचना केवल एक आंशिक कार्य है। रचित सम्बन्धों के प्रान्त के लिए सीमा के मिलान की आवश्यकता ने सुझाव दिया है कि विजातीय सम्बन्धों का अध्ययन [[श्रेणी सिद्धांत]] का एक अध्याय है, जैसा कि [[सेट की श्रेणी|समुच्चय की श्रेणी]] में होता है, सिवाय इसके कि इस श्रेणी के आकारिकी सम्बन्ध हैं। Rel श्रेणी के ऑब्जेक्ट समुच्चय होते हैं, और सम्बन्ध-रूपवाद एक [[श्रेणी (गणित)|श्रेणी]] में आवश्यक रूप से बनते हैं।{{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 को एक गैर-विस्तार योग्य आयत के रूप में वर्णित किया गया है।
+:<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> अपघटन होता है
+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> अपघटन होता है
-:<math>R \ = \ f \ E \ g^\textsf{T} ,</math> जहां f और g कार्य हैं, जिन्हें इस संदर्भ में मैपिंग या बाएं-कुल, असमान सम्बन्ध कहा जाता है। "प्रेरित अवधारणा जाली आंशिक अनुक्रम ई के कट पूर्णता के लिए आइसोमोर्फिक है जो सम्बन्ध आर के न्यूनतम अपघटन (एफ, जी, ई) से सम्बन्धित है।"
+:<math>R \ = \ f \ E \ g^\textsf{T} ,</math> जहां f और g कार्य हैं, जिन्हें इस संदर्भ में मैपिंग या बाएं-कुल, असमान सम्बन्ध कहा जाता है। "प्रेरित अवधारणा जालकी आंशिक अनुक्रम ई के कट पूर्णता के लिए आइसोमोर्फिक है जो सम्बन्ध आर के न्यूनतम अपघटन (एफ, जी, ई) से सम्बन्धित है।"
 विशेष मामलों पर नीचे विचार किया गया है: ई कुल अनुक्रम फेरर्स प्रकार से मेल खाता है, और ई पहचान अलग-अलग, एक समुच्चय पर समानता सम्बन्ध का एक सामान्यीकरण से मेल खाती है।
@@ Line 315: / Line 315: @@
 === द्विक्रियात्मक ===
-तुल्यता सम्बन्ध की अवधारणा के सामान्यीकरण के रूप में, भिन्नात्मक सम्बन्धों का विचार अलग-अलग विशेषताओं द्वारा वस्तुओं को विभाजित करना है। एक तरीका यह किया जा सकता है [[संकेतक (अनुसंधान)|संकेतक]] के बीच के समुच्चय <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 में असमान सम्बन्ध शामिल हैं, जिन्हें आमतौर पर आंशिक कार्य कहा जाता है।
+तुल्यता सम्बन्ध की अवधारणा के सामान्यीकरण के रूप में, भिन्नात्मक सम्बन्धों का विचार अलग-अलग विशेषताओं द्वारा वस्तुओं को विभाजित करना है। एक तरीका यह किया जा सकता है [[संकेतक (अनुसंधान)|संकेतक]] के बीच के समुच्चय <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 में असमान सम्बन्ध सम्मिलित हैं, जिन्हें सामान्यतः आंशिक कार्य कहा जाता है।
-में रिगुट ने दिखाया कि ऐसे सम्बन्ध समावेशन को संतुष्ट करते हैं:<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>
+में रिगुट ने दिखाया कि ऐसे सम्बन्ध अंतर्वेशन को संतुष्ट करते हैं:<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>
@@ Line 330: / Line 330: @@
 एक समुच्चय पर एक [[सख्त आदेश|सख्त अनुक्रम]] ऑर्डर थ्योरी में उत्पन्न होने वाला एक सजातीय सम्बन्ध है। 1951 में जैक्स रिगुएट ने एक पूर्णांक के [[विभाजन (संख्या सिद्धांत)|विभाजन]] के क्रम को अपनाया, जिसे [[फेरर्स आरेख]] कहा जाता है, ताकि सामान्य रूप से द्विआधारी सम्बन्धों के क्रम का विस्तार किया जा सके।<ref>J. Riguet (1951) "Les relations de Ferrers", [[Comptes Rendus]] 232: 1729,30</ref>
-एक सामान्य बाइनरी रिलेशन के सम्बन्धित लॉजिकल मैट्रिक्स में पंक्तियाँ होती हैं जो एक के अनुक्रम के साथ समाप्त होती हैं। इस प्रकार फेरर के आरेख के बिंदुओं को बदल दिया जाता है और मैट्रिक्स में दाईं ओर संरेखित किया जाता है।
+एक सामान्य द्विआधारी सम्बन्ध के सम्बन्धित लॉजिकल आव्यूह में पंक्तियाँ होती हैं जो एक के अनुक्रम के साथ समाप्त होती हैं। इस प्रकार फेरर के आरेख के बिंदुओं को बदल दिया जाता है और आव्यूह में दाईं ओर संरेखित किया जाता है।
 फेरर्स प्रकार के सम्बन्ध R के लिए आवश्यक एक बीजीय कथन है<math display="block">R \bar{R}^\textsf{T} R \subseteq R.</math>यदि कोई एक रिश्ता <math>R, \ \bar{R}, \ R^\textsf{T}</math> फेरर्स प्रकार का है, तो वे सभी हैं।
 <ref name="Schmidt p.77">{{cite book|last1=Schmidt|first1=Gunther|last2=Ströhlein|first2=Thomas|title=संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित|url={{google books |plainurl=y |id=ZgarCAAAQBAJ|paged=277}}|date=2012|publisher=Springer Science & Business Media|isbn=978-3-642-77968-8|authorlink1=Gunther Schmidt |page=77}}</ref>
@@ Line 340: / Line 340: @@
 # <math>\text{for all } y \in Y, ygZ \text{ and } xgY \text{ implies } xgZ.</math>
 समुच्चय सदस्यता सम्बन्ध, ε = "का एक अवयव है", इन गुणों को संतुष्ट करता है इसलिए ε एक संपर्क सम्बन्ध है। 1970 में [[जॉर्ज ऑमन]] द्वारा एक सामान्य संपर्क सम्बन्ध की धारणा पेश की गई थी।<ref>{{cite journal | url=https://www.zobodat.at/publikation_volumes.php?id=56359 | author=Georg Aumann | title=संपर्क संबंध| journal=Sitzungsberichte der mathematisch-physikalischen Klasse der Bayerischen Akademie der Wissenschaften München | volume=1970 | number=II | pages=67&ndash;77 | year=1971 }}</ref><ref>Anne K. Steiner (1970) [https://mathscinet.ams.org/mathscinet-getitem?mr=0309040 Review:''Kontakt-Relationen''] from [[Mathematical Reviews]]</ref>
-सम्बन्धों की गणना के संदर्भ में संपर्क सम्बन्ध के लिए पर्याप्त शर्तें शामिल हैं<math display="block">C^\textsf{T} \bar{C} \ \subseteq \ \ni \bar{C} \ \ \equiv \ C \ \overline{\ni \bar{C}} \ \subseteq \ C,</math>जहाँ <math>\ni</math> समुच्चय सदस्यता (∈) का विलोम है।<ref name="GS11">[[Gunther Schmidt]] (2011) ''Relational Mathematics'', pages 211−15, [[Cambridge University Press]] {{ISBN|978-0-521-76268-7}}</ref>{{rp|280}}
+सम्बन्धों की गणना के संदर्भ में संपर्क सम्बन्ध के लिए पर्याप्त संबंध सम्मिलित हैं<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}}
 == अग्रिम अनुक्रम आर \ आर ==
@@ Line 353: / Line 353: @@
 :<math>\equiv (R \backslash R)(R \backslash R) \subseteq R \backslash R.</math> (परिभाषा)
-यू के पावर समुच्चय पर समावेशन (समुच्चय सिद्धांत) सम्बन्ध Ω [[तत्व (गणित)|अवयव (गणित)]] से इस तरह प्राप्त किया जा सकता है <math>\,\in\,</math> यू के उपसमुच्चय पर:
+यू के पावर समुच्चय पर अंतर्वेशन (समुच्चय सिद्धांत) सम्बन्ध Ω [[तत्व (गणित)|अवयव (गणित)]] से इस तरह प्राप्त किया जा सकता है <math>\,\in\,</math> यू के उपसमुच्चय पर:
 :<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। अन्यथा फ्रिंज ऑपरेटर अपने लॉजिकल मैट्रिक्स के संदर्भ में वर्णित एक सीमा उप-सम्बन्ध का चयन करता है: फ्रिंज (आर) साइड विकर्ण है यदि आर एक ऊपरी दायां त्रिकोणीय [[रैखिक क्रम]] या सख्त क्रम है। फ्रिंज (आर) ब्लॉक फ्रिंज है यदि आर अपरिवर्तनीय (<math>R \subseteq \bar{I}</math>) या ऊपरी दायां ब्लॉक त्रिभुज है। फ्रिंज (आर) सीमा आयतों का एक क्रम है जब आर फेरर्स प्रकार का है।
+एक सम्बन्ध R दिया गया है, एक उप-सम्बन्ध जिसे उसकी सीमा कहा जाता है, को इस प्रकार परिभाषित किया जाता है<math display="block">\operatorname{fringe}(R) = R \cap \overline{R \bar{R}^\textsf{T} R}.</math>जब R एक आंशिक पहचान सम्बन्ध, द्विक्रियात्मक, या एक ब्लॉक विकर्ण सम्बन्ध है, तो फ्रिंज (R) = R। अन्यथा फ्रिंज ऑपरेटर अपने लॉजिकल आव्यूह के संदर्भ में वर्णित एक सीमा उप-सम्बन्ध का चयन करता है: फ्रिंज (आर) साइड विकर्ण है यदि आर एक ऊपरी दायां त्रिकोणीय [[रैखिक क्रम]] या सख्त क्रम है। फ्रिंज (आर) ब्लॉक फ्रिंज है यदि आर अपरिवर्तनीय (<math>R \subseteq \bar{I}</math>) या ऊपरी दायां ब्लॉक त्रिभुज है। फ्रिंज (आर) सीमा आयतों का एक क्रम है जब आर फेरर्स प्रकार का है।
@@ Line 363: / Line 363: @@
 {{main|हीप (गणित)}}
-दो समुच्चय ए और बी दिए गए हैं, उनके बीच बाइनरी सम्बन्धों का समुच्चय <math>\mathcal{B}(A,B)</math> एक [[टर्नरी ऑपरेशन]] <math>[a, \ b,\ c] \ = \ a b^\textsf{T} c</math> से सुसज्जित हो सकता है जहां बीटी बी के विपरीत सम्बन्ध को दर्शाता है। 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> विषम और सजातीय सम्बन्धों के विपरीत इन परिभाषाओं द्वारा उजागर किया गया है:
+दो समुच्चय ए और बी दिए गए हैं, उनके बीच द्विआधारी सम्बन्धों का समुच्चय <math>\mathcal{B}(A,B)</math> एक [[टर्नरी ऑपरेशन|टर्नरी संक्रिया]] <math>[a, \ b,\ c] \ = \ a b^\textsf{T} c</math> से सुसज्जित हो सकता है जहां बीटी बी के विपरीत सम्बन्ध को दर्शाता है। 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=वैगनर के काम में ढेर, अर्ध-ढेर और सामान्यीकृत ढेर के बीच एक सुखद समरूपता है, और दूसरी ओर समूह, अर्ध-समूह और सामान्यीकृत समूह। अनिवार्य रूप से, जब भी हम ''विभिन्न'' सेट ''ए'' और ''बी'' के बीच द्विआधारी संबंधों (और आंशिक एक-एक मैपिंग) पर विचार करते हैं, तो विभिन्न प्रकार के सेमीहिप्स दिखाई देते हैं, जबकि विभिन्न प्रकार के सेमिग्रुप उस मामले में प्रकट होते हैं जहां ''ए'' = ''बी''।
@@ Line 411: / Line 411: @@
 *लीनियर अलजेब्रा
 *असमानता (गणित)
-*जाली (अनुक्रम)
+*जालकी (अनुक्रम)
 *विपरीत सम्बन्ध
 *सम्बन्धों की रचना
@@ Line 429: / Line 429: @@
 *भोला समुच्चय सिद्धांत
 *इन्वोल्यूशन (गणित)
-*शामिल होने के साथ अर्धसमूह
+*सम्मिलित होने के साथ अर्धसमूह
 *आकारिता
 *आंशिक समारोह

Anonymous

Search