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

Revision as of 14:27, 15 December 2022

	Symmetric	Antisymmetric	Connected	Well-founded	Has joins	Has meets	Reflexive	Irreflexive	Asymmetric
			Total, Semiconnex					Anti- reflexive
Equivalence relation	File:Green check.svgY	✗	✗	✗	✗	✗	File:Green check.svgY	✗	✗
Preorder (Quasiorder)	✗	✗	✗	✗	✗	✗	File:Green check.svgY	✗	✗
Partial order	✗	File:Green check.svgY	✗	✗	✗	✗	File:Green check.svgY	✗	✗
Total preorder	✗	✗	File:Green check.svgY	✗	✗	✗	File:Green check.svgY	✗	✗
Total order	✗	File:Green check.svgY	File:Green check.svgY	✗	✗	✗	File:Green check.svgY	✗	✗
Prewellordering	✗	✗	File:Green check.svgY	File:Green check.svgY	✗	✗	File:Green check.svgY	✗	✗
Well-quasi-ordering	✗	✗	✗	File:Green check.svgY	✗	✗	File:Green check.svgY	✗	✗
Well-ordering	✗	File:Green check.svgY	File:Green check.svgY	File:Green check.svgY	✗	✗	File:Green check.svgY	✗	✗
Lattice	✗	File:Green check.svgY	✗	✗	File:Green check.svgY	File:Green check.svgY	File:Green check.svgY	✗	✗
Join-semilattice	✗	File:Green check.svgY	✗	✗	File:Green check.svgY	✗	File:Green check.svgY	✗	✗
Meet-semilattice	✗	File:Green check.svgY	✗	✗	✗	File:Green check.svgY	File:Green check.svgY	✗	✗
Strict partial order	✗	✗	✗	✗	✗	✗	✗	File:Green check.svgY	File:Green check.svgY
Strict weak order	✗	✗	✗	✗	✗	✗	✗	File:Green check.svgY	File:Green check.svgY
Strict total order	✗	✗	File:Green check.svgY	✗	✗	✗	✗	File:Green check.svgY	File:Green check.svgY
	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}}$

File:Green check.svg 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 की सीमा बनाता है। तब इस सम्बन्ध के लिए तार्किक आव्यूह है:

File:Oceans and continents coarse.png

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

महासागर की सीमाएँ महाद्वीप
	एनए	एसए	एएफ	ईयु	एएस	एयु	एए
भारतीय	0	0	1	0	1	1	1
आर्कटिक	1	0	0	1	1	0	0
अटलांटिक	1	1	1	1	0	0	1
प्रशांत	1	1	0	0	1	1	1

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

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

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

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

Error creating thumbnail:

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

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

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

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

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

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

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

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

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

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

File:The four types of binary relations.png

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

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

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

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

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

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

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

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

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

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

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

संश्रय

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

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

उभयनिष्ठ

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

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

संघटन

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

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

प्रतिलोम

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

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

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

यदि R समुच्चय X और Y पर एक द्विआधारी सम्बन्ध है तो ${\overline {R}}=\{(x,y):{\text{ not }}xRy\}$ (जिसे R या $\neg R$ द्वारा भी निरूपित किया जाता है) X और Y के ऊपर R का पूरक सम्बन्ध है।

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

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

यदि $X=Y,$ के पूरक में निम्नलिखित गुण हैं:

यदि कोई सम्बन्ध सममित है, तो पूरक भी सममित है।
प्रतिवर्त सम्बन्ध का पूरक अप्रतिवर्ती है—और इसके प्रतिलोम।
पूर्णतः अशक्त अनुक्रम का पूरक टोटल पूर्व अनुक्रम है - और इसके प्रतिलोम।

प्रतिबंध

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

X\times Y

पर एक सम्बन्ध

R

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

A_{i}\times B_{i}

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

A_{i}

X

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

B_{i}

इसी तरह

Y

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

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

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

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

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

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

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

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

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

संपर्क

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

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

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

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

जहाँ

\ni

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

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

प्रत्येक सम्बन्ध R एक पूर्व-अनुक्रम $R\backslash R$ उत्पन्न करता है जो बायां अवशिष्ट है।^[46] प्रतिलोम और पूरक के स्थिति में, $R\backslash R\ \equiv \ {\overline {R^{\textsf {T}}{\bar {R}}}}$ । $R^{\textsf {T}}{\bar {R}}$ का विकर्ण बनाना, $R^{\text{T}}$ की संगत पंक्ति और ${\bar {R}}$ का स्तंभ प्रतिलोम तार्किक मानों का होगा, इसलिए विकर्ण सभी शून्य है। फिर

R^{\textsf {T}}{\bar {R}}\subseteq {\bar {I}}\ \implies \ I\subseteq {\overline {R^{\textsf {T}}{\bar {R}}}}\ =\ R\backslash R,

ताकि

R\backslash R

प्रतिवर्त सम्बन्ध है।

सकर्मक सम्बन्ध दिखाने के लिए, इसकी आवश्यकता होती है $(R\backslash R)(R\backslash R)\subseteq R\backslash R.$ याद करें कि $X=R\backslash R$ सबसे बड़ा सम्बन्ध ऐसा है $RX\subseteq R.$ फिर

R(R\backslash R)\subseteq R

R(R\backslash R)(R\backslash R)\subseteq R

(दोहराना)

\equiv R^{\textsf {T}}{\bar {R}}\subseteq {\overline {(R\backslash R)(R\backslash R)}}

(श्रोडर का नियम)

\equiv (R\backslash R)(R\backslash R)\subseteq {\overline {R^{\textsf {T}}{\bar {R}}}}

(पूरक)

\equiv (R\backslash R)(R\backslash R)\subseteq R\backslash R.

(परिभाषा)

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

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

^[45]^: 283

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

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

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

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

R\subseteq {\bar {I}}

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

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

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

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

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

यह भी देखें

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

संदर्भ

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

ग्रन्थसूची

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

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

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

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

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

[10] Authors who deal with binary relations only as a special case of n-ary relations for arbitrary n usually write Rxy as a special case of Rx₁...x_n (prefix notation).^[9]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[droste-24] Droste, M., & Kuich, W. (2009). Semirings and Formal Power Series. Handbook of Weighted Automata, 3–28. doi:10.1007/978-3-642-01492-5_1, pp. 7-10

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

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

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

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

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

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

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

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

[33] G. Schmidt, Claudia Haltensperger, and Michael Winter (1997) "Heterogeneous relation algebra", chapter 3 (pages 37 to 53) in Relational Methods in Computer Science, Advances in Computer Science, Springer books ISBN 3-211-82971-7

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

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

[36] Ali Jaoua, Rehab Duwairi, Samir Elloumi, and Sadok Ben Yahia (2009) "Data mining, reasoning and incremental information retrieval through non enlargeable rectangular relation coverage", pages 199 to 210 in Relations and Kleene algebras in computer science, Lecture Notes in Computer Science 5827, Springer MR2781235

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

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

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

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

[41] Ali Jaoua, Nadin Belkhiter, Habib Ounalli, and Theodore Moukam (1997) "Databases", pages 197–210 in Relational Methods in Computer Science, edited by Chris Brink, Wolfram Kahl, and Gunther Schmidt, Springer Science & Business Media ISBN 978-3-211-82971-4

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

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

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

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

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

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

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

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

[50] Christopher Hollings (2014) Mathematics across the Iron Curtain: a history of the algebraic theory of semigroups, page 265, History of Mathematics 41, American Mathematical Society ISBN 978-1-4704-1493-1

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[note 1]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

[41]

[42]

[43]

[44]

[45]

[46]

[47]

[48]

[49]

[9]

@@ Line 1: / Line 1: @@
 {{Short description|Relationship between two sets, defined by a set of ordered pairs}}
-{{hatnote|यह लेख उन्नत धारणाओं को शामिल करता है। मूलभूत विषयों के लिए, [[संबंध (गणित)]] देखें।}}
+{{hatnote|यह लेख उन्नत धारणाओं को समिल्लित करता है। मूलभूत विषयों के लिए, [[संबंध (गणित)]] देखें।}}
 {{Binary relations}}
 गणित में, '''द्विआधारी (बाइनरी) सम्बन्ध''' किसी समुच्चय के अवयवों को सम्मिलित करता है, जिसे ''प्रान्त (डोमेन)'' कहा जाता है, तथा किसी अन्य समुच्चय के अवयवों के साथ, ''सहप्रांत (कोडोमेन)'' कहलाता है।<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 −4, 0, 6, 10, जैसी संख्याओं से सम्बन्धित है, परन्तु 1 या 9 से नहीं, ठीक वैसे ही जैसे अभाज्य संख्या 3 0, 6 और 9 से सम्बन्धित है, परन्तु 4 या 13 से नहीं।
@@ Line 18: / Line 18: @@
 समुच्चय {{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]]--->
@@ Line 65: / Line 65: @@
 </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 = 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 को विभाजित नहीं करता।
@@ Line 141: / Line 141: @@
 ) सम्बन्धों का चित्रण ग्राफ सिद्धांत पर निर्भर करता है: एक समुच्चय (सजातीय सम्बन्ध) पर सम्बन्धों के लिए, एक [[निर्देशित ग्राफ]] एक सम्बन्ध और एक [[ग्राफ (असतत गणित)|ग्राफ]] एक [[सममित संबंध|सममित सम्बन्ध]] दिखाता है। विजातीय सम्बन्धों के लिए एक [[hypergraph|हाइपरग्राफ]] के किनारे संभवतः दो से अधिक नोड्स के साथ होते हैं, और एक द्विपक्षीय ग्राफ द्वारा चित्रित किया जा सकता है।
-जिस प्रकार [[गुट (ग्राफ सिद्धांत)|गुट]] किसी समुच्चय पर सम्बन्धों का अभिन्न अंग है, उसी प्रकार विजातीय सम्बन्धों का वर्णन करने के लिए [[biclique|द्विगुणित]] का उपयोग किया जाता है; वास्तव में, वे "अवधारणाएँ" हैं जो एक सम्बन्ध से जुड़ी एक जालकी उत्पन्न करती हैं।[[File:Add_velocity_ark_POV.svg|right|thumb|200px|विभिन्न टी अक्ष गति में पर्यवेक्षकों के लिए समय का प्रतिनिधित्व करते हैं, सम्बन्धित X अक्ष उनकी समकालिकता की रेखाएं हैं I]]4) [[हाइपरबोलिक ऑर्थोगोनलिटी|अतिपरवलकीय लम्बकोणीयता]]: समय और स्थान विभिन्न श्रेणियां हैं, और कालगत गुण स्थानिक गुणों से अलग हैं। ''समकालिक घटनाओं'' का विचार निरपेक्ष समय और स्थान में सरल है क्योंकि हर बार ''t'' उस ब्रह्माण्ड विज्ञान में एक साथ होने वाले [[hyperplane|अधिसमतल]] को निर्धारित करता है। [[हरमन मिन्कोव्स्की]] ने इसे बदल दिया जब उन्होंने सापेक्ष समकालिकता की धारणा को व्यक्त किया, जो कि तब मौजूद होता है जब स्थानिक घटनाएं एक वेग की विशेषता वाले समय के लिए "सामान्य" होती हैं। उन्होंने एक अनिश्चित आंतरिक गुणन का उपयोग किया, और निर्दिष्ट किया कि एक समय सदिश एक सदिश के लिए सामान्य होता है जब वह गुणन शून्य होता है। [[रचना बीजगणित|संघटन बीजगणित]] में अनिश्चित आंतरिक गुणन किसके द्वारा दिया जाता है
+जिस प्रकार [[गुट (ग्राफ सिद्धांत)|गुट]] किसी समुच्चय पर सम्बन्धों का अभिन्न अंग है, उसी प्रकार विजातीय सम्बन्धों का वर्णन करने के लिए [[biclique|द्विगुणित]] का उपयोग किया जाता है; वास्तव में, वे "अवधारणाएँ" हैं जो एक सम्बन्ध से जुड़ी एक जालकी उत्पन्न करती हैं।[[File:Add_velocity_ark_POV.svg|right|thumb|200px|विभिन्न ''t'' अक्ष गति में पर्यवेक्षकों के लिए समय का निरूपण करते हैं, सम्बन्धित ''x'' अक्ष उनकी समकालिकता की रेखाएं हैं I]]4) [[हाइपरबोलिक ऑर्थोगोनलिटी|अतिपरवलकीय लम्बकोणीयता]]: समय और स्थान विभिन्न श्रेणियां हैं, और कालगत गुण स्थानिक गुणों से अलग हैं। ''समकालिक घटनाओं'' का विचार निरपेक्ष समय और स्थान में सरल है क्योंकि हर बार ''t'' उस ब्रह्माण्ड विज्ञान में एक साथ होने वाले [[hyperplane|अधिसमतल]] को निर्धारित करता है। [[हरमन मिन्कोव्स्की]] ने इसे बदल दिया जब उन्होंने सापेक्ष समकालिकता की धारणा को व्यक्त किया, जो कि तब उपस्थित होता है जब स्थानिक घटनाएं एक वेग की विशेषता वाले समय के लिए "सामान्य" होती हैं। उन्होंने एक अनिश्चित आंतरिक गुणन का उपयोग किया, और निर्दिष्ट किया कि एक समय सदिश एक सदिश के लिए सामान्य होता है जब वह गुणन शून्य होता है। [[रचना बीजगणित|संघटन बीजगणित]] में अनिश्चित आंतरिक गुणन किसके द्वारा दिया जाता है
 :<math><x, z> \ =\ x \bar{z} + \bar{x}z\;</math> जहां ओवरबार संयुग्मन को दर्शाता है।
 कुछ लौकिक घटनाओं और कुछ स्थानिक घटनाओं के बीच सम्बन्ध के रूप में, अतिपरवलकीय लम्बकोणीयता (जैसा कि [[विभाजित-जटिल संख्या|विभाजित-समिश्र संख्याओं]] में पाया जाता है) विजातीय सम्बन्ध है।<ref>{{wikibooks-inline|Calculus/Hyperbolic angle#Split-complex theory|Relative simultaneity}}</ref>
-) [[ज्यामितीय विन्यास]] को उसके बिंदुओं और उसकी रेखाओं के बीच के सम्बन्ध के रूप में माना जा सकता है। सम्बन्ध को [[घटना संबंध|घटना]] के रूप में व्यक्त किया जाता है। परिमित और अनंत प्रक्षेपी और एफ़ाइन विमान सम्मिलित हैं। [[जैकब स्टेनर]] ने [[स्टेनर प्रणाली]] <math>\text{S}(t, k, n)</math> के साथ विन्यासों की सूची बनाने का बीड़ा उठाया है जिसमें एक एन-एलिमेंट समुच्चय एस और के-एलिमेंट उपसमुच्चय का एक समुच्चय है जिसे ब्लॉक कहा जाता है, जैसे कि टी अवयवों वाला एक उपसमुच्चय केवल एक ब्लॉक में निहित है। इन [[घटना संरचना|आपतन संरचनाओं]] को [[ब्लॉक डिजाइन|ब्लॉक अभिकल्पनाओं]] के साथ सामान्यीकृत किया गया है। इन ज्यामितीय संदर्भों में प्रयुक्त [[घटना मैट्रिक्स|घटना आव्यूह]] सामान्यतः द्विआधारी सम्बन्धों के साथ उपयोग किए जाने वाले तार्किक आव्यूह से मेल खाती है।
+) [[ज्यामितीय विन्यास]] को उसके बिंदुओं और उसकी रेखाओं के बीच के सम्बन्ध के रूप में माना जा सकता है। सम्बन्ध को [[घटना संबंध|घटना]] के रूप में व्यक्त किया जाता है। परिमित और अनंत प्रक्षेपी और एफ़ाइन तल सम्मिलित हैं। [[जैकब स्टेनर]] ने [[स्टेनर प्रणाली]] <math>\text{S}(t, k, n)</math> के साथ विन्यासों की सूची बनाने का बीड़ा उठाया है जिसमें एक एन-एलिमेंट समुच्चय S और के-एलिमेंट उपसमुच्चय का एक समुच्चय है जिसे '''ब्लॉक''' कहा जाता है, जैसे कि टी अवयवों वाला एक उपसमुच्चय केवल एक ब्लॉक में निहित है। इन [[घटना संरचना|आपतन संघटनों]] को [[ब्लॉक डिजाइन|ब्लॉक अभिकल्पनाओं]] के साथ सामान्यीकृत किया गया है। इन ज्यामितीय संदर्भों में प्रयुक्त [[घटना मैट्रिक्स|घटना आव्यूह]] सामान्यतः द्विआधारी सम्बन्धों के साथ उपयोग किए जाने वाले तार्किक आव्यूह से मेल खाती है।
-: घटना संरचना एक ट्रिपल '''D''' = (''V'', '''B''', ''I'') है जहां ''V'' और ''B'' कोई भी दो अलग समुच्चय हैं और ''I,'' ''V'' और '''B''' के बीच द्विआधारी सम्बन्ध है, अर्थात <math>I \subseteq V \times \textbf{B}</math>। ''V'' के अवयवों को बिंदु कहा जाएगा, जो '''B''' के हैं ब्लॉक और ''I'' के फ्लैग्स।<ref>{{cite book|first1=Thomas|last1=Beth|first2=Dieter|last2=Jungnickel|authorlink2=Dieter Jungnickel|first3=Hanfried|last3=Lenz|authorlink3=Hanfried Lenz|title=डिजाइन सिद्धांत|publisher=[[Cambridge University Press]]|page=15|year=1986}}. 2nd ed. (1999) {{ISBN|978-0-521-44432-3}}</ref>
+: घटना संघटन एक ट्रिपल '''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'' नीचे सूचीबद्ध हैं।
 विशिष्टता गुण:
-* विशेषण (लेफ्ट-यूनिक भी कहा जाता है):<ref name="kkm">Kilp, Knauer and Mikhalev: p.&nbsp;3. The same four definitions appear in the following:
+* '''अंतःक्षेपक''' ('''वाम-विशिष्ट''' भी कहा जाता है):<ref name="kkm">Kilp, Knauer and Mikhalev: p.&nbsp;3. The same four definitions appear in the following:
 *{{cite book
   | author1=Peter J. Pahl
@@ 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}}
+* '''समुच्चय-लाइक''' (या ''स्थानीय''): {{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:--->
-यदि आर और एस समुच्चय X और Y पर द्विआधारी सम्बन्ध हैं तो <math>R \cup S = \{ (x, y) : xRy \text{ or } xSy \}</math> X और Y पर आर और एस का संघ सम्बन्ध है।
+यदि ''R'' और ''S'' समुच्चय ''X'' और ''Y'' पर द्विआधारी सम्बन्ध हैं तो <math>R \cup S = \{ (x, y) : xRy \text{ or } xSy \}</math> ''X'' और ''Y'' पर ''R'' और ''S'' का ''संश्रय सम्बन्ध'' है।
-पहचान अवयव खाली रिश्ता है। उदाहरण के लिए, <math>\,\leq\,</math> < और = का संघ है, और <math>\,\geq\,</math> > और = का संघ है।
+तत्समक अवयव रिक्त सम्बन्ध है। उदाहरण के लिए, <math>\,\leq\,</math> < और = का संश्रय है, और <math>\,\geq\,</math> > और = का संश्रय है।
-=== प्रतिच्छेदन ===
+=== उभयनिष्ठ ===
-यदि आर और एस समुच्चय X और Y पर द्विआधारी सम्बन्ध हैं तो <math>R \cap S = \{ (x, y) : xRy \text{ and } xSy \}</math> X और Y पर आर और एस का प्रतिच्छेदन सम्बन्ध है।
+यदि ''R'' और ''S'' समुच्चय ''X'' और ''Y'' पर द्विआधारी सम्बन्ध हैं तो <math>R \cap S = \{ (x, y) : xRy \text{ and } xSy \}</math> ''X'' और ''Y'' पर ''R'' और ''S'' का ''उभयनिष्ठ सम्बन्ध'' है।
-पहचान अवयव सार्वत्रिक सम्बन्ध है। उदाहरण के लिए, सम्बन्ध "6 से विभाज्य है" "3 से विभाज्य है" और "2 से विभाज्य है" सम्बन्धों का प्रतिच्छेदन है।
+तत्समक अवयव सार्वत्रिक सम्बन्ध है। उदाहरण के लिए, सम्बन्ध "6 से विभाज्य है" "3 से विभाज्य है" और "2 से विभाज्य है" सम्बन्धों का उभयनिष्ठ है।
-=== रचना ===
+=== संघटन ===
-{{main|संबंधों की संरचना}}
+{{main|संबंधों का संघटन}}
-यदि आर समुच्चय X और Y पर एक द्विआधारी सम्बन्ध है, और एस समुच्चय Y और जेड पर एक द्विआधारी सम्बन्ध है तो <math>S \circ R = \{ (x, z) : \text{ there exists } y \in Y \text{ such that } xRy \text{ and } ySz \}</math> (आर द्वारा भी निरूपित किया जाता है; एस) X और जेड से अधिक आर और एस का संरचना सम्बन्ध है।
+यदि ''R'' समुच्चय ''X'' और ''Y'' पर एक द्विआधारी सम्बन्ध है, और ''S'' समुच्चय ''Y'' और ''Z'' पर एक द्विआधारी सम्बन्ध है तो <math>S \circ R = \{ (x, z) : \text{ there exists } y \in Y \text{ such that } xRy \text{ and } ySz \}</math> (''R'' द्वारा भी निरूपित किया जाता है; ''S'') ''X'' और ''Z'' से अधिक ''R'' और ''S'' का ''संघटन सम्बन्ध'' है।
-पहचान अवयव पहचान का सम्बन्ध है। नोटेशन <math>S \circ R,</math> में आर और एस का क्रम, यहां इस्तेमाल किए गए [[कार्यों की संरचना]] के लिए मानक नोटेशन ऑर्डर से सहमत हैं। उदाहरण के लिए, रचना (की जनक है)22(की माता है) पैदावार (की नानी है), जबकि रचना (की माता है)33(की जनक है) उपज (की दादी है)। पूर्व मामले के लिए, यदि x, y का माता-पिता है और y, z की माँ है, तो x, z का दादा-दादी है।
+तत्समक अवयव तत्समक का सम्बन्ध है। अंकन <math>S \circ R,</math> में R और S का क्रम, यहां उपयोग किए गए [[कार्यों की संरचना|फलनों के संघटन]] के लिए मानक अंकन क्रम से सहमत हैं। उदाहरण के लिए, संघटन (की जनक है)<math>\,\circ\,</math>(की माता है) पैदावार (की नानी है), जबकि संघटन (की माता है)<math>\,\circ\,</math>(की जनक है) उपज (की दादी है)। पूर्व स्थिति के लिए, यदि x, y का माता-पिता है और y, z की माता है, तो x, z का दादा-दादी है।
-=== विपरीत ===
+=== प्रतिलोम ===
 {{main|प्रतिलोम संबंध}}
-{{see also|द्वैत (आदेश सिद्धांत)}}
+{{see also|द्वैत (अनुक्रम सिद्धांत)}}
-यदि R समुच्चय X और Y पर एक द्विआधारी सम्बन्ध है तो <math>R^\textsf{T} = \{ (y, x) : xRy \}</math>, Y और X के ऊपर R का विलोम सम्बन्ध है।
+यदि ''R'' समुच्चय ''X'' और ''Y'' पर एक द्विआधारी सम्बन्ध है तो <math>R^\textsf{T} = \{ (y, x) : xRy \}</math>, ''Y'' और ''X'' पर ''R'' का ''प्रतिलोम सम्बन्ध'' है।
-उदाहरण के लिए, = स्वयं का विलोम है, जैसे <math>\,\neq,\,</math><math>\,<\,</math> तथा <math>\,>\,</math> एक-दूसरे के विलोम हैं, जैसे <math>\,\leq\,</math> और <math>\,\geq\,</math> हैं। एक द्विआधारी सम्बन्ध इसके विलोम के बराबर होता है यदि और केवल यदि यह सममित है।
+उदाहरण के लिए, = स्वयं का प्रतिलोम है, जैसे <math>\,\neq,\,</math><math>\,<\,</math> तथा <math>\,>\,</math> एक-दूसरे के प्रतिलोम हैं, जैसे <math>\,\leq\,</math> और <math>\,\geq\,</math> हैं। द्विआधारी सम्बन्ध इसके प्रतिलोम के बराबर होता है यदि और केवल यदि यह सममित है।
-=== पूरक ===
+=== पूरक (कॉम्प्लीमेंट) ===
-{{main|Complementary relation}}
+{{main|पूरक सम्बन्ध}}
-यदि R समुच्चय X और Y पर एक द्विआधारी सम्बन्ध है तो <math>\overline{R} = \{ (x, y) : \text{ not } xRy \}</math> (जिसे {{strikethrough|''R''}} या {{math|&not; ''R''}} द्वारा भी निरूपित किया जाता है) X और Y के ऊपर R का पूरक सम्बन्ध है।
+यदि R समुच्चय X और Y पर एक द्विआधारी सम्बन्ध है तो <math>\overline{R} = \{ (x, y) : \text{ not } xRy \}</math> (जिसे {{strikethrough|''R''}} या {{math|&not; ''R''}} द्वारा भी निरूपित किया जाता है) X और Y के ऊपर R का ''पूरक सम्बन्ध'' है।
-उदाहरण के लिए, <math>\,=\,</math> और <math>\,\neq\,</math> एक दूसरे के पूरक हैं, जैसे <math>\,\subseteq\,</math> और <math>\,\not\subseteq,\,</math> और <math>\,\supseteq\,</math> और <math>\,\not\supseteq,\,</math> और <math>\,\in\,</math> और <math>\,\not\in,\,</math> कुल ऑर्डर के लिए, < और <math>\,\geq,\,</math> और > और <math>\,\leq\,</math> भी।
+उदाहरण के लिए, <math>\,=\,</math> और <math>\,\neq\,</math> एक दूसरे के पूरक हैं, जैसे <math>\,\subseteq\,</math> और <math>\,\not\subseteq,\,</math> और <math>\,\supseteq\,</math> और <math>\,\not\supseteq,\,</math> और <math>\,\in\,</math> और <math>\,\not\in,\,</math> टोटल अनुक्रम के लिए, < और <math>\,\geq,\,</math> और > और <math>\,\leq\,</math> भी।
-विपरीत सम्बन्ध <math>R^\textsf{T}</math> का पूरक पूरक का विलोम है: <math>\overline{R^\mathsf{T}} = \bar{R}^\mathsf{T}</math>।
+प्रतिलोम सम्बन्ध <math>R^\textsf{T}</math> का पूरक पूरक का प्रतिलोम है: <math>\overline{R^\mathsf{T}} = \bar{R}^\mathsf{T}</math>।
 यदि <math>X = Y,</math> के पूरक में निम्नलिखित गुण हैं:
 * यदि कोई सम्बन्ध सममित है, तो पूरक भी सममित है।
-* एक प्रतिवर्त सम्बन्ध का पूरक अप्रतिवर्ती है—और इसके विपरीत।
+* प्रतिवर्त सम्बन्ध का पूरक अप्रतिवर्ती है—और इसके प्रतिलोम।
-* एक [[सख्त कमजोर आदेश|सख्त कमजोर अनुक्रम]] का पूरक कुल पूर्व अनुक्रम है - और इसके विपरीत।
+* [[सख्त कमजोर आदेश|पूर्णतः अशक्त अनुक्रम]] का पूरक टोटल पूर्व अनुक्रम है - और इसके प्रतिलोम।
 === प्रतिबंध ===
 {{main|प्रतिबंध (गणित)}}
-यदि R एक समुच्चय X पर एक द्विआधारी [[सजातीय संबंध|सजातीय सम्बन्ध]] है और S, X का एक उपसमुच्चय है तो <math>R_{\vert S} = \{ (x, y) \mid xRy \text{ and } x \in S \text{ and } y \in S \}</math>, R से S के ऊपर X का प्रतिबंध सम्बन्ध है।
+यदि ''R'' एक समुच्चय ''X'' पर एक द्विआधारी [[सजातीय संबंध|सजातीय सम्बन्ध]] है और ''S'', ''X'' का एक उपसमुच्चय है तो <math>R_{\vert S} = \{ (x, y) \mid xRy \text{ and } x \in S \text{ and } y \in S \}</math>, ''R'' से ''S'' के ऊपर ''X'' का ''प्रतिबंध सम्बन्ध'' है।
-यदि R, X और Y के समुच्चय पर एक द्विआधारी सम्बन्ध है और यदि S, X का एक उपसमुच्चय है तो <math>R_{\vert S} = \{ (x, y) \mid xRy \text{ and } x \in S \}</math> X और Y पर R से S का बायाँ-प्रतिबंध सम्बन्ध है। '''[reference missing स्पष्टीकरण की आवश्यकता]'''
+यदि R, X और Y के समुच्चय पर एक द्विआधारी सम्बन्ध है और यदि S, X का एक उपसमुच्चय है तो <math>R_{\vert S} = \{ (x, y) \mid xRy \text{ and } x \in S \}</math> ''X'' और ''Y'' पर ''R'' से ''S'' का ''बायाँ-प्रतिबंध सम्बन्ध'' है। '''[reference missing स्पष्टीकरण की आवश्यकता]'''
-यदि R समुच्चय X और Y पर एक द्विआधारी सम्बन्ध है और यदि S, Y का एक उपसमुच्चय है तो <math>R^{\vert S} = \{ (x, y) \mid xRy \text{ and } y \in S \}</math> X और Y के ऊपर R से S का सही-प्रतिबंध सम्बन्ध है।
+यदि ''R'' समुच्चय ''X'' और ''Y'' पर एक द्विआधारी सम्बन्ध है और यदि S, Y का एक उपसमुच्चय है तो <math>R^{\vert S} = \{ (x, y) \mid xRy \text{ and } y \in S \}</math> ''X'' और ''Y'' पर ''R'' से ''S'' का ''दायाँ-प्रतिबंध सम्बन्ध'' है।
-यदि कोई सम्बन्ध प्रतिवर्ती, अप्रतिवर्ती, सममित, [[असममित संबंध|असममित]], असममित, [[सकर्मक संबंध|सकर्मक]], कुल, त्रिकोटोमस, एक आंशिक क्रम, कुल अनुक्रम, सख्त कमजोर अनुक्रम, कुल पूर्ववर्ती (कमजोर अनुक्रम), या एक [[तुल्यता संबंध|तुल्यता सम्बन्ध]] है, तो उसके प्रतिबंध भी हैं।
+यदि कोई सम्बन्ध प्रतिवर्ती, अप्रतिवर्ती, सममित, [[असममित संबंध|असममित]], असममित, [[सकर्मक संबंध|सकर्मक]], टोटल, त्रिकोटोमस, आंशिक अनुक्रम, टोटल अनुक्रम, पूर्णतः अशक्त अनुक्रम, टोटल पूर्ववर्ती (अशक्त अनुक्रम), या एक [[तुल्यता संबंध|तुल्यता सम्बन्ध]] है, तो उसके प्रतिबंध भी हैं।
 हालांकि, एक प्रतिबंध का सकर्मक समापन सकर्मक बंद होने के प्रतिबंध का एक उपसमुच्चय है, अर्थात सामान्य रूप से बराबर नहीं है। उदाहरण के लिए, महिलाओं के लिए "x, y का जनक है" सम्बन्ध को प्रतिबंधित करने से सम्बन्ध "x, महिला y की मां है" उत्पन्न होता है; इसका सकर्मक बंद होना एक महिला को उसकी नानी के साथ नहीं जोड़ता है। दूसरी ओर, "के माता-पिता है" का सकर्मक समापन "का पूर्वज है"; महिलाओं के लिए इसका प्रतिबंध एक महिला को उसकी नानी से सम्बन्धित करता है।
-इसके अलावा, पूर्णता की विभिन्न अवधारणाएं ("कुल" होने के साथ भ्रमित नहीं होना चाहिए) प्रतिबंधों पर निर्भर नहीं हैं। उदाहरण के लिए, वास्तविक संख्याओं पर सम्बन्ध <math>\,\leq\,</math> की एक संपत्ति यह है कि <math>\R</math> में [[ऊपरी सीमा]] के साथ प्रत्येक गैर-रिक्त उपसमुच्चय <math>S \subseteq \R</math> में <math>\R</math> में सबसे कम ऊपरी सीमा (जिसे सुप्रीमम भी कहा जाता है) है। हालांकि, परिमेय संख्याओं के लिए यह सर्वोच्चता आवश्यक रूप से परिमेय नहीं है, इसलिए समान गुण परिमेय संख्याओं के सम्बन्ध <math>\,\leq\,</math> के प्रतिबंध पर नहीं टिकता है।
+इसके अतिरिक्त, पूर्णता की विभिन्न अवधारणाएं ("टोटल" होने के साथ भ्रमित नहीं होना चाहिए) प्रतिबंधों पर निर्भर नहीं हैं। उदाहरण के लिए, वास्तविक संख्याओं पर सम्बन्ध <math>\,\leq\,</math> की एक संपत्ति यह है कि <math>\R</math> में [[ऊपरी सीमा]] के साथ प्रत्येक अरिक्त उपसमुच्चय <math>S \subseteq \R</math> में <math>\R</math> में सबसे कम ऊपरी सीमा (जिसे सुप्रीमम भी कहा जाता है) है। हालांकि, परिमेय संख्याओं के लिए यह सर्वोच्चता आवश्यक रूप से परिमेय नहीं है, इसलिए समान गुण परिमेय संख्याओं के सम्बन्ध <math>\,\leq\,</math> के प्रतिबंध पर नहीं टिकता है।
 <!---This definition is needed by the closure defs, too, but maybe should better given in an earlier section(?):--->
-समुच्चय X और Y पर एक द्विआधारी सम्बन्ध R को X और Y के ऊपर एक सम्बन्ध S में निहित कहा जाता है, जिसे <math>R \subseteq S,</math> लिखा जाता है, यदि R, S का एक उपसमुच्चय है, अर्थात सभी <math>x \in X</math> और <math>y \in Y,</math> के लिए, यदि xRy, तो xSy। यदि R, S में समाहित है और S, R में समाहित है, तो R और S को बराबर लिखित R = S कहते हैं। यदि R, S में निहित है, परन्तु S, R में समाहित नहीं है, तो R को S से छोटा कहा जाता है, जिसे <math>R \subsetneq S</math> लिखा जाता है। उदाहरण के लिए, [[परिमेय संख्या|परिमेय संख्याओं]] पर, सम्बन्ध <math>\,>\,</math>, <math>\,\geq,\,</math>से छोटा और संघटन <math>\,>\,\circ\,>\,</math> के बराबर है।
+समुच्चय X और Y पर द्विआधारी सम्बन्ध R को X और Y के ऊपर एक सम्बन्ध S में निहित कहा जाता है, जिसे <math>R \subseteq S,</math> लिखा जाता है, यदि R, S का एक उपसमुच्चय है, अर्थात सभी <math>x \in X</math> और <math>y \in Y,</math> के लिए, यदि ''xRy'', तो ''xSy''। यदि R, S में समाहित है और S, R में समाहित है, तो R और S को ''बराबर'' लिखित R = S कहते हैं। यदि R, S में निहित है, परन्तु S, R में समाहित नहीं है, तो R को S से ''छोटा'' कहा जाता है, जिसे <math>R \subsetneq S</math> लिखा जाता है। उदाहरण के लिए, [[परिमेय संख्या|परिमेय संख्याओं]] पर, सम्बन्ध <math>\,>\,</math>, <math>\,\geq,\,</math>से छोटा और संघटन <math>\,>\,\circ\,>\,</math> के बराबर है।
-=== आव्यूह प्रतिनिधित्व ===
+=== आव्यूह निरूपण ===
-समुच्चय X और Y पर द्विआधारी सम्बन्धों को X और Y द्वारा अनुक्रमित तार्किक आव्यूह द्वारा [[बूलियन सेमिरिंग]] में प्रविष्टियों के साथ बीजगणितीय रूप से प्रदर्शित किया जा सकता है (इसके अलावा 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 द्वारा अनुक्रमित तार्किक आव्यूह द्वारा [[बूलियन सेमिरिंग]] में प्रविष्टियों के साथ बीजगणितीय रूप से प्रदर्शित किया जा सकता है (योग ऑर के अनुरूप है और गुणा एंड से) जहां [[मैट्रिक्स जोड़|आव्यूह जोड़]] सम्बन्धों के मिलन से मेल खाता है, [[मैट्रिक्स गुणन|आव्यूह गुणन]] सम्बन्धों के संघटन से मेल खाता है (X और Y के ऊपर एक सम्बन्ध और Y और Z के ऊपर एक सम्बन्ध),<ref>{{cite newsgroup |title=कम्यूटेटिव रिग पर क्वांटम यांत्रिकी|author=John C. Baez |author-link=John C. Baez |date=6 Nov 2001 |newsgroup=sci.physics.research |message-id=9s87n0$iv5@gap.cco.caltech.edu |url=https://groups.google.com/d/msg/sci.physics.research/VJNPMCfreao/TMKt9tFYNwEJ |access-date=November 25, 2018}}</ref> [[हैडमार्ड उत्पाद (मैट्रिसेस)|हैडमार्ड गुणन]] सम्बन्धों के उभयनिष्ठ से मेल खाता है, [[शून्य मैट्रिक्स|शून्य आव्यूह]] रिक्त सम्बन्ध से मेल खाता है, और [[लोगों का मैट्रिक्स|लोगों का आव्यूह]] का सार्वभौमिक सम्बन्ध से मेल खाता है। सजातीय सम्बन्ध (जब {{math|1=''X'' = ''Y''}}) एक [[वसा मैट्रिक्स|आव्यूह सेमीरिंग]] बनाते हैं (वास्तव में, बूलियन सेमीरिंग के ऊपर एक [[मैट्रिक्स अर्ध बीजगणित|आव्यूह अर्ध बीजगणित]]) जहां [[पहचान मैट्रिक्स|तत्समक आव्यूह]] तत्समक सम्बन्ध के अनुरूप है।<ref name="droste">Droste, M., & Kuich, W. (2009). Semirings and Formal Power Series. ''Handbook of Weighted Automata'', 3–28. {{doi|10.1007/978-3-642-01492-5_1}}, pp. 7-10</ref>
-== समुच्चय बनाम कक्षाएं ==
+== समुच्चय बनाम वर्ग ==
 कुछ गणितीय "सम्बन्ध", जैसे "बराबर", "उपसमुच्चय", और "सदस्य", को द्विआधारी सम्बन्ध नहीं समझा जा सकता है जैसा कि ऊपर परिभाषित किया गया है, क्योंकि उनके प्रान्त और सहप्रांत को स्वयंसिद्ध समुच्चय सिद्धांत की सामान्य प्रणालियों में समुच्चय नहीं माना जा सकता है। उदाहरण के लिए, "समानता" की सामान्य अवधारणा को एक द्विआधारी सम्बन्ध <math>\,=,</math> के रूप में मॉडल करने के लिए प्रान्त और सहप्रांत को "सभी समुच्चयों का वर्ग" लें, जो सामान्य समुच्चय सिद्धांत में एक समुच्चय नहीं है।
-अधिकांश गणितीय संदर्भों में, समानता, सदस्यता और उपसमुच्चय के सम्बन्धों के संदर्भ हानिरहित होते हैं क्योंकि उन्हें संदर्भ में कुछ समुच्चय तक ही सीमित रूप से समझा जा सकता है। इस समस्या का सामान्य वर्क-अराउंड एक "पर्याप्त बड़ा" समुच्चय A का चयन करना है, जिसमें रुचि के सभी ऑब्जेक्ट सम्मिलित हैं, और = के बजाय प्रतिबंध =A के साथ कार्य करना है। इसी तरह, सम्बन्ध <math>\,\subseteq\,</math> के "उपसमुच्चय" को प्रान्त और सहप्रांत P(A) (एक विशिष्ट समुच्चय A का पावर समुच्चय) के लिए प्रतिबंधित करने की आवश्यकता है: परिणामी समुच्चय सम्बन्ध को <math>\,\subseteq_A\,</math> द्वारा निरूपित किया जा सकता है। इसके अलावा, "सदस्य" सम्बन्ध को एक द्विआधारी सम्बन्ध <math>\,\in\,</math> प्राप्त करने के लिए प्रान्त ए और सहप्रांत पी (ए) तक सीमित होना चाहिए जो एक समुच्चय है। बर्ट्रेंड रसेल ने दिखाया है कि <math>\,\in_A\,</math> को सभी समुच्चयों पर परिभाषित करने के लिए सहज समुच्चय सिद्धांत में एक विरोधाभास होता है, रसेल के विरोधाभास को देखें।
+अधिकांश गणितीय संदर्भों में, समानता, सदस्यता और उपसमुच्चय के सम्बन्धों के संदर्भ हानिरहित होते हैं क्योंकि उन्हें संदर्भ में कुछ समुच्चय तक ही सीमित रूप से समझा जा सकता है। इस समस्या का सामान्य वर्क-अराउंड एक "पर्याप्त बड़ा" समुच्चय 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> इस परिभाषा के साथ, उदाहरण के लिए, प्रत्येक समुच्चय और उसके पावर समुच्चय पर एक द्विआधारी सम्बन्ध को परिभाषित कर सकते हैं।
 == सजातीय सम्बन्ध ==
 {{main|सजातीय संबंध}}
 <!---keep boldface: [[Homogeneous relation]] redirects to here--->
-एक समुच्चय X पर एक सजातीय सम्बन्ध, X और स्वयं के ऊपर एक द्विआधारी सम्बन्ध है, अर्थात यह कार्तीय गुणनफल <math>X \times X</math> का एक उपसमुच्चय है।<ref name="Winter2007" /><ref name="Müller2012">{{cite book|author=M. E. Müller|title=संबंधपरक ज्ञान की खोज|year=2012|publisher=Cambridge University Press|isbn=978-0-521-19021-3|page=22}}</रेफरी><nowiki><ref name="PahlDamrath2001-p496"></nowiki>{{cite book|author1=Peter J. Pahl|author2=Rudolf Damrath|title=कम्प्यूटेशनल इंजीनियरिंग की गणितीय नींव: एक पुस्तिका|year=2001|publisher=Springer Science & Business Media|isbn=978-3-540-67995-0|page=496}}</ref><ref name="PahlDamrath2001-p496">{{Cite book|last=Peter J. Pahl|title=Mathematical Foundations of Computational Engineering: A Handbook|last2=Rudolf Damrath|publisher=Springer Science & Business Media|year=2001|isbn=978-3-540-67995-0|page=496}}</ref> इसे केवल X पर एक (द्विआधारी) सम्बन्ध भी कहा जाता है।
+समुच्चय ''X'' पर एक '''सजातीय सम्बन्ध''' ''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 पर एक सजातीय सम्बन्ध आर को एक निर्देशित सरल ग्राफ अनुमति लूप के साथ पहचाना जा सकता है, जहां X वर्टेक्स समुच्चय है और आर किनारे का समुच्चय (एक शीर्ष x से एक शीर्ष y तक एक किनारा है यदि और केवल यदि {{math|''xRy''}}) है। समुच्चय X पर सभी सजातीय सम्बन्धों का समुच्चय <math>\mathcal{B}(X)</math> पावर समुच्चय <math>2^{X \times X}</math> है जो एक [[बूलियन बीजगणित (संरचना)|बूलियन बीजगणित]] है जो इसके विपरीत सम्बन्ध के सम्बन्ध के मानचित्रण के अंतर्वेशन के साथ बढ़ाया गया है। <math>\mathcal{B}(X)</math> पर एक [[बाइनरी ऑपरेशन|द्विआधारी संक्रिया]] के रूप में सम्बन्धों की संरचना पर विचार करते हुए, यह सम्मिलित होने के साथ एक अर्धसमूह बनाता है।
+समुच्चय ''X'' पर एक सजातीय सम्बन्ध ''R'' को एक निर्देशित सरल ग्राफ अनुमति लूप के साथ तत्समका जा सकता है, जहां ''X'' वर्टेक्स समुच्चय है और ''R'' किनारे का समुच्चय (शीर्ष ''x'' से शीर्ष ''y'' तक एक किनारा है यदि और केवल यदि {{math|''xRy''}}) है। समुच्चय ''X'' पर सभी सजातीय सम्बन्धों का समुच्चय <math>\mathcal{B}(X)</math> पावर समुच्चय <math>2^{X \times X}</math> है जो एक [[बूलियन बीजगणित (संरचना)|बूलियन बीजगणित]] है जो इसके प्रतिलोम सम्बन्ध के सम्बन्ध के मानचित्रण के अंतर्वेशन के साथ बढ़ाया गया है। <math>\mathcal{B}(X)</math> पर एक [[बाइनरी ऑपरेशन|द्विआधारी संक्रिया]] के रूप में सम्बन्धों के संघटन पर विचार करते हुए, यह सम्मिलित होने के साथ एक अर्धसमूह बनाता है।
 सजातीय सम्बन्ध के कुछ महत्वपूर्ण गुण {{mvar|R}} एक समुच्चय पर {{mvar|X}} हो सकता है:
-* {{em|[[Reflexive relation|प्रतिवर्त]]}}: सभी <math>x \in X,</math> {{math|''xRx''}} के लिए। उदाहरण के लिए, <math>\,\geq\,</math> एक प्रतिवर्त सम्बन्ध है परन्तु > नहीं है।
+* {{em|[[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>
+* {{em|[[Antisymmetric relation|प्रतिसममित]]}}: सभी <math>x, y \in X,</math> के लिए यदि {{math|''xRy''}} और {{math|''yRx''}} तो <math>x = y</math>। उदाहरण के लिए, <math>\,\geq\,</math> एक एंटीसिमेट्रिक सम्बन्ध है।<ref>{{citation|first1=Douglas|last1=Smith|first2=Maurice|last2=Eggen|first3=Richard|last3=St. Andre|title=A Transition to Advanced Mathematics|edition=6th|publisher=Brooks/Cole|year=2006|isbn=0-534-39900-2|page=160}}</ref>
 * {{em|[[Asymmetric relation|असममित]]}}: सभी <math>x, y \in X,</math> के लिए यदि {{math|''xRy''}} है तो {{math|''yRx''}} नहीं है। एक सम्बन्ध असममित होता है यदि और केवल यदि यह असममित और अपरिवर्तनशील दोनों हो।<ref>{{citation|first1=Yves|last1=Nievergelt|title=Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography|publisher=Springer-Verlag|year=2002|page=[https://books.google.com/books?id=_H_nJdagqL8C&pg=PA158 158]}}.</ref> उदाहरण के लिए, > एक असममित सम्बन्ध है, परन्तु <math>\,\geq\,</math> नहीं है।
 * {{em|[[Transitive relation|सकर्मक]]}}: सभी <math>x, y, z \in X,</math> के लिए यदि {{math|''xRy''}} और {{math|''yRz''}} तो {{math|''xRz''}}। एक सकर्मक सम्बन्ध अपरिवर्तनीय होता है यदि और केवल यदि यह असममित हो।<ref>{{cite book|last1=Flaška|first1=V.|last2=Ježek|first2=J.|last3=Kepka|first3=T.|last4=Kortelainen|first4=J.|title=बाइनरी रिलेशंस का सकर्मक क्लोजर I|year=2007|publisher=School of Mathematics&nbsp;– Physics Charles University|location=Prague|page=1|url=http://www.karlin.mff.cuni.cz/~jezek/120/transitive1.pdf|url-status=dead|archive-url=https://web.archive.org/web/20131102214049/http://www.karlin.mff.cuni.cz/~jezek/120/transitive1.pdf|archive-date=2013-11-02}} Lemma 1.1 (iv). This source refers to asymmetric relations as "strictly antisymmetric".</ref> उदाहरण के लिए, "का पूर्वज है" एक सकर्मक सम्बन्ध है, जबकि "का माता-पिता है" नहीं है।
-* {{em|[[Connected relation|कनेक्टेड]]}}: सभी <math>x, y \in X,</math> के लिए यदि <math>x \neq y</math> तो {{math|''xRy''}} या {{math|''yRx''}}।
+* {{em|[[Connected relation|आनुषंगिक (कनेक्टेड)]]}}: सभी <math>x, y \in X,</math> के लिए यदि <math>x \neq y</math> तो {{math|''xRy''}} या {{math|''yRx''}}।
-* {{em|[[Connected relation|मजबूती से जुड़ा हुआ]]}}: सभी <math>x, y \in X,</math> {{math|''xRy''}} या {{math|''yRx''}} के लिए।
+* {{em|[[Connected relation|दृढ़ आनुषंगिक]]}}: सभी <math>x, y \in X,</math> {{math|''xRy''}} या {{math|''yRx''}} के लिए।
+*{{Em|[[Dense_order#Generalizations|सघन]]}}: सभी <math>x, y \in X,</math> के लिए यदि <math>xRy ,</math> है, तो कुछ <math>z \in X</math> ऐसे मौजूद हैं कि <math>xRz</math> और <math>{\displaystyle zRy}</math> हैं।
-एक {{em|[[Partially ordered set#Formal definition|आंशिक क्रम]]}} एक ऐसा सम्बन्ध है जो प्रतिवर्त, प्रतिसममित और सकर्मक होता है। एक {{em|[[Partially ordered set#Correspondence of strict and non-strict partial order relations|सख्त आंशिक क्रम]]}} एक ऐसा सम्बन्ध है जो अप्रतिवर्ती, प्रतिसममित और सकर्मक होता है। {{em|[[कुल क्रम]]}} एक ऐसा सम्बन्ध है जो प्रतिवर्ती, प्रतिसममित, संक्रामक और जुड़ा हुआ है।<ref>Joseph G. Rosenstein, ''Linear orderings'', Academic Press, 1982, {{ISBN|0-12-597680-1}}, p.&nbsp;4</ref> एक {{em|[[Total order#Strict total order|सख्त कुल आदेश]]}} एक ऐसा सम्बन्ध है जो अप्रतिवर्ती, प्रतिसममित, संक्रामक और जुड़ा हुआ है। एक {{em|[[तुल्यता संबंध]]}} एक ऐसा सम्बन्ध है जो प्रतिवर्ती, सममित और सकर्मक है। उदाहरण के लिए, "x विभाजित करता है y" एक आंशिक है, परन्तु [[प्राकृतिक संख्या]] <math>\N,</math> पर कुल क्रम नहीं "x < y" <math>\N,</math> पर एक सख्त कुल अनुक्रम है और "x y के समानांतर है" [[यूक्लिडियन विमान]] में सभी रेखाओं के समुच्चय पर एक समानता सम्बन्ध है।
+{{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 पर एक सजातीय सम्बन्ध को क्लोजर संक्रिया के अधीन किया जा सकता है जैसे:
+अनुभाग में परिभाषित सभी संक्रिया द्विआधारी सम्बन्धों पर संक्रिया भी सजातीय सम्बन्धों पर लागू होते हैं। इसके अतिरिक्त, एक समुच्चय X पर एक सजातीय सम्बन्ध को क्लोजर संक्रिया के अधीन किया जा सकता है जैसे:
-; {{em|[[परावर्तक बंद]]}}: X युक्त आर पर सबसे छोटा रिफ्लेक्सिव सम्बन्ध,
+; {{em|[[स्वतुल्य संवरण]]}}: X युक्त R पर सबसे छोटा स्वतुल्य सम्बन्ध,
-; {{em|[[संक्रमणीय बंद]]}}: R युक्त X पर सबसे छोटा सकर्मक सम्बन्ध,
+; {{em|[[संक्रमणीय संवरण]]}}: R युक्त 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}}
+समरूप सम्बन्धों के प्रतिलोम, सम्बन्धों के संक्रिया के संघटन केवल एक आंशिक फलन है। रचित सम्बन्धों के प्रान्त के लिए सीमा के मिलान की आवश्यकता ने सुझाव दिया है कि विजातीय सम्बन्धों का अध्ययन [[श्रेणी सिद्धांत]] का एक अध्याय है, जैसा कि [[सेट की श्रेणी|समुच्चय की श्रेणी]] में होता है, सिवाय इसके कि इस श्रेणी के आकारिकी सम्बन्ध हैं। रेल श्रेणी के ''ऑब्जेक्ट'' समुच्चय होते हैं, और सम्बन्ध-रूपवाद एक [[श्रेणी (गणित)|श्रेणी]] में आवश्यक रूप से बनते हैं।{{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'' अधिकतम है, किसी अन्य बाहरी गुणन में निहित नहीं है। इस प्रकार ''C'' को एक गैर-विस्तार योग्य आयत के रूप में वर्णित किया गया है।
 किसी दिए गए सम्बन्ध <math>R \subseteq X \times Y,</math> के लिए, अवधारणाओं का समुच्चय, उनके जुड़ने और मिलने से बढ़ा हुआ, एक "अवधारणाओं का प्रेरित जालक" बनाता है, जिसमें <math>\sqsubseteq</math> को सम्मिलित करने से एक [[पूर्व आदेश|पूर्व अनुक्रम]] बनता है।
-MacNeille पूर्णता प्रमेय (1937) (कि किसी भी आंशिक क्रम को एक पूर्ण जालकी में एम्बेड किया जा सकता है) को 2013 के एक सर्वेक्षण लेख "अवधारणा जालकी पर सम्बन्धों का विघटन" में उद्धृत किया गया है।<ref>[[R. Berghammer]] & M. Winter (2013) "Decomposition of relations on concept lattices", [[Fundamenta Informaticae]] 126(1): 37–82 {{doi|10.3233/FI-2013-871}}</ref> अपघटन होता है
+मैकनीले पूर्णता प्रमेय (1937) (कि किसी भी आंशिक क्रम को एक पूर्ण जालकी में एम्बेड किया जा सकता है) को 2013 के एक सर्वेक्षण लेख "अवधारणा जालकी पर सम्बन्धों का विघटन" में उद्धृत किया गया है।<ref>[[R. Berghammer]] & M. Winter (2013) "Decomposition of relations on concept lattices", [[Fundamenta Informaticae]] 126(1): 37–82 {{doi|10.3233/FI-2013-871}}</ref> अपघटन होता है
-:<math>R \ = \ f \ E \ g^\textsf{T} ,</math> जहां f और g कार्य हैं, जिन्हें इस संदर्भ में मैपिंग या बाएं-कुल, असमान सम्बन्ध कहा जाता है। "प्रेरित अवधारणा जालकी आंशिक अनुक्रम ई के कट पूर्णता के लिए आइसोमोर्फिक है जो सम्बन्ध आर के न्यूनतम अपघटन (एफ, जी, ई) से सम्बन्धित है।"
+:<math>R \ = \ f \ E \ g^\textsf{T} ,</math> जहां ''f'' और ''g'' फलन हैं, जिन्हें इस संदर्भ में ''प्रतिचित्रण'' या बाएं-टोटल, असमान सम्बन्ध कहा जाता है। "प्रेरित अवधारणा जालकी आंशिक अनुक्रम ''E'' के कट पूर्णता के लिए आइसोमोर्फिक है जो सम्बन्ध ''R'' के न्यूनतम अपघटन (''f, g, E'') से सम्बन्धित है।"
-विशेष मामलों पर नीचे विचार किया गया है: ई कुल अनुक्रम फेरर्स प्रकार से मेल खाता है, और ई पहचान अलग-अलग, एक समुच्चय पर समानता सम्बन्ध का एक सामान्यीकरण से मेल खाती है।
+विशेष मामलों पर नीचे विचार किया गया है: ''E'' टोटल अनुक्रम फेरर्स प्रकार से मेल खाता है, और ''E'' तत्समक अलग-अलग, एक समुच्चय पर समानता सम्बन्ध का एक सामान्यीकरण से मेल खाती है।
-सम्बन्धों को स्कीन रैंक द्वारा रैंक किया जा सकता है जो एक सम्बन्ध को कवर करने के लिए आवश्यक अवधारणाओं की संख्या की गणना करता है।<ref>Ki Hang Kim (1982) ''Boolean Matrix Theory and Applications'', page 37, [[Marcel Dekker]] {{ISBN|0-8247-1788-0}}</ref> अवधारणाओं के साथ सम्बन्धों का संरचनात्मक विश्लेषण डाटा माइनिंग के लिए एक दृष्टिकोण प्रदान करता है।<ref>Ali Jaoua, Rehab Duwairi, Samir Elloumi, and Sadok Ben Yahia (2009) "Data mining, reasoning and incremental information retrieval through non enlargeable rectangular relation coverage", pages 199 to 210 in ''Relations and Kleene algebras in computer science'', [[Lecture Notes in Computer Science]] 5827, Springer {{mr|id=2781235}}</ref>
+सम्बन्धों को '''स्कीन रैंक''' द्वारा रैंक किया जा सकता है जो एक सम्बन्ध को कवर करने के लिए आवश्यक अवधारणाओं की संख्या की गणना करता है।<ref>Ki Hang Kim (1982) ''Boolean Matrix Theory and Applications'', page 37, [[Marcel Dekker]] {{ISBN|0-8247-1788-0}}</ref> अवधारणाओं के साथ सम्बन्धों का संघटनत्मक विश्लेषण डाटा माइनिंग के लिए एक दृष्टिकोण प्रदान करता है।<ref>Ali Jaoua, Rehab Duwairi, Samir Elloumi, and Sadok Ben Yahia (2009) "Data mining, reasoning and incremental information retrieval through non enlargeable rectangular relation coverage", pages 199 to 210 in ''Relations and Kleene algebras in computer science'', [[Lecture Notes in Computer Science]] 5827, Springer {{mr|id=2781235}}</ref>
 == विशेष सम्बन्ध ==
-* प्रस्ताव: यदि R एक क्रमिक सम्बन्ध है और RT इसका स्थानांतरण है, तो <math>I \subseteq R^\textsf{T} R</math> जहां <math>I</math> m × m पहचान सम्बन्ध है।
+* प्रस्ताव: यदि ''R'' एक क्रमिक सम्बन्ध है और RT इसका स्थानांतरण है, तो <math>I \subseteq R^\textsf{T} R</math> जहां <math>I</math> ''m × m'' तत्समक सम्बन्ध है।
-*तर्कवाक्य: यदि R एक [[विशेषण संबंध|विशेषण सम्बन्ध]] है, तो <math>I \subseteq R R^\textsf{T}</math> जहां <math>I</math> <math>n \times n</math> पहचान सम्बन्ध है।
+*तर्कवाक्य: यदि ''R'' एक [[विशेषण संबंध|विशेषण सम्बन्ध]] है, तो <math>I \subseteq R R^\textsf{T}</math> जहां <math>I</math> <math>n \times n</math> तत्समक सम्बन्ध है।
-=== द्विक्रियात्मक ===
+=== द्विक्रियात्मक (डाईफंक्शनल) ===
-तुल्यता सम्बन्ध की अवधारणा के सामान्यीकरण के रूप में, भिन्नात्मक सम्बन्धों का विचार अलग-अलग विशेषताओं द्वारा वस्तुओं को विभाजित करना है। एक तरीका यह किया जा सकता है [[संकेतक (अनुसंधान)|संकेतक]] के बीच के समुच्चय <math>Z = \{ x, y, z, \ldots \}</math> के साथ। विभाजन सम्बन्ध <math>R = F G^\textsf{T}</math>, असमान सम्बन्धों <math>F \subseteq A \times Z \text{ and } G \subseteq B \times Z</math> का उपयोग करते हुए सम्बन्धों की एक संरचना है। [[जैक्स रिगुएट]] ने इन सम्बन्धों को कार्यात्मक नाम दिया है क्योंकि संरचना F GT में असमान सम्बन्ध सम्मिलित हैं, जिन्हें सामान्यतः आंशिक कार्य कहा जाता है।
+तुल्यता सम्बन्ध की अवधारणा के सामान्यीकरण के रूप में, भिन्नात्मक सम्बन्धों का विचार अलग-अलग विशेषताओं द्वारा वस्तुओं को विभाजित करना है। एक तरीका यह किया जा सकता है [[संकेतक (अनुसंधान)|संकेतक]] के बीच के समुच्चय <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>
+संकेतन {''y: xRy''} = ''xR'' का उपयोग करते हुए, एक द्विभाजित सम्बन्ध को एक सम्बन्ध ''R'' के रूप में भी चित्रित किया जा सकता है जैसे कि जहां कहीं भी ''x''<sub>1</sub>''R'' और ''x''<sub>2</sub>''R'' में एक अरिक्त चौराहा है, तो ये दो समुच्चय मेल खाते हैं; औपचारिक रूप से <math>x_1 \cap x_2 \neq \varnothing</math> का मतलब <math>x_1 R = x_2 R</math> होता है।<ref name="BrinkKahl1997">{{cite book|author1=Chris Brink|author2=Wolfram Kahl|author3=Gunther Schmidt|title=कंप्यूटर विज्ञान में संबंधपरक तरीके|year=1997|publisher=Springer Science & Business Media|isbn=978-3-211-82971-4|page=200}}</ref>
+में शोधकर्ताओं ने "[[डेटाबेस]] प्रबंधन में विविध निर्भरताओं पर आधारित द्विआधारी अपघटन की उपयोगिता" को पाया।<ref>Ali Jaoua, Nadin Belkhiter, Habib Ounalli, and Theodore Moukam (1997) "Databases", pages 197–210 in ''Relational Methods in Computer Science'', edited by Chris Brink, Wolfram Kahl, and [[Gunther Schmidt]], [[Springer Science & Business Media]] {{isbn|978-3-211-82971-4}}</ref> इसके अतिरिक्त, [[bisimulation|बिसिमुलेशन]] के अध्ययन में विविधात्मक सम्बन्ध मौलिक हैं।<ref>{{Cite book | doi = 10.1007/978-3-662-44124-4_7
-संकेतन {y: xRy} = xR का उपयोग करते हुए, एक द्विभाजित सम्बन्ध को एक सम्बन्ध R के रूप में भी चित्रित किया जा सकता है जैसे कि जहां कहीं भी x1R और x2R में एक गैर-रिक्त चौराहा है, तो ये दो समुच्चय मेल खाते हैं; औपचारिक रूप से <math>x_1 \cap x_2 \neq \varnothing</math> का मतलब <math>x_1 R = x_2 R</math> होता है।<ref name="BrinkKahl1997">{{cite book|author1=Chris Brink|author2=Wolfram Kahl|author3=Gunther Schmidt|title=कंप्यूटर विज्ञान में संबंधपरक तरीके|year=1997|publisher=Springer Science & Business Media|isbn=978-3-211-82971-4|page=200}}</ref>
-में शोधकर्ताओं ने "[[डेटाबेस]] प्रबंधन में विविध निर्भरताओं पर आधारित द्विआधारी अपघटन की उपयोगिता" को पाया।<ref>Ali Jaoua, Nadin Belkhiter, Habib Ounalli, and Theodore Moukam (1997) "Databases", pages 197–210 in ''Relational Methods in Computer Science'', edited by Chris Brink, Wolfram Kahl, and [[Gunther Schmidt]], [[Springer Science & Business Media]] {{isbn|978-3-211-82971-4}}</ref> इसके अलावा, [[bisimulation|बिसिमुलेशन]] के अध्ययन में विविधात्मक सम्बन्ध मौलिक हैं।<ref>{{Cite book | doi = 10.1007/978-3-662-44124-4_7
 | chapter = Coalgebraic Simulations and Congruences| title = कंप्यूटर विज्ञान में कोलजेब्रिक तरीके| volume = 8446| pages = 118| series = [[Lecture Notes in Computer Science]]| year = 2014| last1 = Gumm | first1 = H. P. | last2 = Zarrad | first2 = M. | isbn = 978-3-662-44123-7}}</ref>
 सजातीय सम्बन्धों के संदर्भ में, एक [[आंशिक तुल्यता संबंध|आंशिक तुल्यता सम्बन्ध]] भिन्नात्मक होता है।
 ===फेरर्स प्रकार ===
-एक समुच्चय पर एक [[सख्त आदेश|सख्त अनुक्रम]] ऑर्डर थ्योरी में उत्पन्न होने वाला एक सजातीय सम्बन्ध है। 1951 में जैक्स रिगुएट ने एक पूर्णांक के [[विभाजन (संख्या सिद्धांत)|विभाजन]] के क्रम को अपनाया, जिसे [[फेरर्स आरेख]] कहा जाता है, ताकि सामान्य रूप से द्विआधारी सम्बन्धों के क्रम का विस्तार किया जा सके।<ref>J. Riguet (1951) "Les relations de Ferrers", [[Comptes Rendus]] 232: 1729,30</ref>
+समुच्चय पर एक [[सख्त आदेश|पूर्णतः अनुक्रम]] अनुक्रम सिद्धांत में उत्पन्न होने वाला एक सजातीय सम्बन्ध है। 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> फेरर्स प्रकार का है, तो वे सभी हैं।
+फेरर्स प्रकार के सम्बन्ध R के लिए आवश्यक एक बीजीय कथन है<math display="block">R \bar{R}^\textsf{T} R \subseteq R.</math>
+यदि कोई एक सम्बन्ध <math>R, \ \bar{R}, \ R^\textsf{T}</math> फेरर्स प्रकार का है, तो वे सभी हैं।
 <ref name="Schmidt p.77">{{cite book|last1=Schmidt|first1=Gunther|last2=Ströhlein|first2=Thomas|title=संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित|url={{google books |plainurl=y |id=ZgarCAAAQBAJ|paged=277}}|date=2012|publisher=Springer Science & Business Media|isbn=978-3-642-77968-8|authorlink1=Gunther Schmidt |page=77}}</ref>
 === संपर्क ===
-मान लीजिए B, A का घात समुच्चय है, A के सभी उपसमुच्चयों का समुच्चय। फिर सम्बन्ध g एक संपर्क सम्बन्ध है यदि यह तीन गुणों को संतुष्ट करता है:
+मान लीजिए ''B'', ''A'' का पावर समुच्चय है, ''A'' के सभी उपसमुच्चयों का समुच्चय। फिर सम्बन्ध ''g'' एक '''संपर्क सम्बन्ध''' है यदि यह तीन गुणों को संतुष्ट करता है:
 # <math>\text{for all } x \in A, Y = \{ x \} \text{ implies } xgY.</math>
 # <math>Y \subseteq Z \text{ and } xgY \text{ implies } xgZ.</math>
 # <math>\text{for all } y \in Y, ygZ \text{ and } xgY \text{ implies } xgZ.</math>
 समुच्चय सदस्यता सम्बन्ध, ε = "का एक अवयव है", इन गुणों को संतुष्ट करता है इसलिए ε एक संपर्क सम्बन्ध है। 1970 में [[जॉर्ज ऑमन]] द्वारा एक सामान्य संपर्क सम्बन्ध की धारणा पेश की गई थी।<ref>{{cite journal | url=https://www.zobodat.at/publikation_volumes.php?id=56359 | author=Georg Aumann | title=संपर्क संबंध| journal=Sitzungsberichte der mathematisch-physikalischen Klasse der Bayerischen Akademie der Wissenschaften München | volume=1970 | number=II | pages=67&ndash;77 | year=1971 }}</ref><ref>Anne K. Steiner (1970) [https://mathscinet.ams.org/mathscinet-getitem?mr=0309040 Review:''Kontakt-Relationen''] from [[Mathematical Reviews]]</ref>
-सम्बन्धों की गणना के संदर्भ में संपर्क सम्बन्ध के लिए पर्याप्त संबंध सम्मिलित हैं<math display="block">C^\textsf{T} \bar{C} \ \subseteq \ \ni \bar{C} \ \ \equiv \ C \ \overline{\ni \bar{C}} \ \subseteq \ C,</math>जहाँ <math>\ni</math> समुच्चय सदस्यता (∈) का विलोम है।<ref name="GS11">[[Gunther Schmidt]] (2011) ''Relational Mathematics'', pages 211−15, [[Cambridge University Press]] {{ISBN|978-0-521-76268-7}}</ref>{{rp|280}}
+सम्बन्धों की गणना के संदर्भ में संपर्क सम्बन्ध के लिए पर्याप्त संबंध सम्मिलित हैं<math display="block">C^\textsf{T} \bar{C} \ \subseteq \ \ni \bar{C} \ \ \equiv \ C \ \overline{\ni \bar{C}} \ \subseteq \ C,</math>जहाँ <math>\ni</math> समुच्चय सदस्यता (∈) का प्रतिलोम है।<ref name="GS11">[[Gunther Schmidt]] (2011) ''Relational Mathematics'', pages 211−15, [[Cambridge University Press]] {{ISBN|978-0-521-76268-7}}</ref>{{rp|280}}
-== अग्रिम अनुक्रम आर \ आर ==
+== प्राग्क्रम (प्रीऑर्डर) R\R ==
-प्रत्येक सम्बन्ध R एक पूर्व-अनुक्रम <math>R \backslash R</math> उत्पन्न करता है जो बायां अवशिष्ट है।<ref>In this context, the symbol <math>\,\backslash\,</math> does not mean "[[set difference]]".</ref> बातचीत और पूरक के मामले में, <math>R \backslash R \ \equiv \ \overline{R^\textsf{T} \bar{R}}</math>। <math>R^\textsf{T} \bar{R}</math> का विकर्ण बनाना, <math>R^{\text{T}}</math> की संगत पंक्ति और <math>\bar{R}</math> का स्तंभ विपरीत तार्किक मानों का होगा, इसलिए विकर्ण सभी शून्य है। फिर
+प्रत्येक सम्बन्ध ''R'' एक पूर्व-अनुक्रम <math>R \backslash R</math> उत्पन्न करता है जो बायां अवशिष्ट है।<ref>In this context, the symbol <math>\,\backslash\,</math> does not mean "[[set difference]]".</ref> प्रतिलोम और पूरक के स्थिति में, <math>R \backslash R \ \equiv \ \overline{R^\textsf{T} \bar{R}}</math>। <math>R^\textsf{T} \bar{R}</math> का विकर्ण बनाना, <math>R^{\text{T}}</math> की संगत पंक्ति और <math>\bar{R}</math> का स्तंभ प्रतिलोम तार्किक मानों का होगा, इसलिए विकर्ण सभी शून्य है। फिर
 :<math>R^\textsf{T} \bar{R} \subseteq \bar{I} \ \implies \  I \subseteq \overline{R^\textsf{T} \bar{R}} \ = \ R \backslash R ,</math> ताकि <math>R \backslash R</math> प्रतिवर्त सम्बन्ध है।
@@ Line 353: / Line 355: @@
 :<math>\equiv (R \backslash R)(R \backslash R) \subseteq R \backslash R.</math> (परिभाषा)
-यू के पावर समुच्चय पर अंतर्वेशन (समुच्चय सिद्धांत) सम्बन्ध Ω [[तत्व (गणित)|अवयव (गणित)]] से इस तरह प्राप्त किया जा सकता है <math>\,\in\,</math> यू के उपसमुच्चय पर:
+''U'' के पावर समुच्चय पर अंतर्वेशन (समुच्चय सिद्धांत) सम्बन्ध Ω [[तत्व (गणित)|अवयव (गणित)]] से इस तरह प्राप्त किया जा सकता है <math>\,\in\,</math> U के उपसमुच्चय पर:
 :<math>\Omega \ = \ \overline{\ni \bar{\in}} \ = \ \in \backslash \in .</math><ref name=GS11/>{{rp|283}}
-== एक रिश्ते की सीमा ==
+== सम्बन्ध की सीमांत (फ्रिंज) ==
-एक सम्बन्ध R दिया गया है, एक उप-सम्बन्ध जिसे उसकी सीमा कहा जाता है, को इस प्रकार परिभाषित किया जाता है<math display="block">\operatorname{fringe}(R) = R \cap \overline{R \bar{R}^\textsf{T} R}.</math>जब R एक आंशिक पहचान सम्बन्ध, द्विक्रियात्मक, या एक ब्लॉक विकर्ण सम्बन्ध है, तो फ्रिंज (R) = R। अन्यथा फ्रिंज ऑपरेटर अपने लॉजिकल आव्यूह के संदर्भ में वर्णित एक सीमा उप-सम्बन्ध का चयन करता है: फ्रिंज (आर) साइड विकर्ण है यदि आर एक ऊपरी दायां त्रिकोणीय [[रैखिक क्रम]] या सख्त क्रम है। फ्रिंज (आर) ब्लॉक फ्रिंज है यदि आर अपरिवर्तनीय (<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''। अन्यथा सीमांत संक्रियक अपने तार्किक आव्यूह के संदर्भ में वर्णित एक सीमा उप-सम्बन्ध का चयन करता है: सीमांत (आर) साइड विकर्ण है यदि R एक ऊपरी दायां त्रिकोणीय [[रैखिक क्रम]] या पूर्णतः क्रम है। सीमांत(''R'') ब्लॉक सीमांत है यदि ''R'' अपरिवर्तनीय (<math>R \subseteq \bar{I}</math>) या ऊपरी दायां ब्लॉक त्रिभुज है। सीमांत(''R'') सीमा आयतों का एक क्रम है जब ''R'' फेरर्स प्रकार का है।
-दूसरी ओर, फ्रिंज (आर) = ∅ जब आर एक [[सघन क्रम|सघन]], रैखिक, सख्त अनुक्रम है।<ref name="GS11" />
+दूसरी ओर, सीमांत(''R'') = ∅ जब ''R'' [[सघन क्रम|सघन]], रैखिक, पूर्णतः अनुक्रम है।<ref name="GS11" />
-== गणितीय ढेर ==
+== गणितीय संग्रह (हीप) ==
-{{main|हीप (गणित)}}
+{{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> विजातीय और सजातीय सम्बन्धों के विपरीत इन परिभाषाओं द्वारा उजागर किया गया है:
+दो समुच्चय ''A'' और ''B'' दिए गए हैं, उनके बीच द्विआधारी सम्बन्धों का समुच्चय <math>\mathcal{B}(A,B)</math> एक [[टर्नरी ऑपरेशन|टर्नरी संक्रिया]] <math>[a, \ b,\ c] \ = \ a b^\textsf{T} c</math> से सुसज्जित हो सकता है जहां बीटी ''b'' के प्रतिलोम सम्बन्ध को दर्शाता है। 1953 में [[विक्टर वैगनर]] ने सेमीसंग्रह्स, संग्रह्स और सामान्यीकृत संग्रह्स को परिभाषित करने के लिए इस टर्नरी संक्रिया के गुणों का उपयोग किया।<ref>[[Viktor Wagner]] (1953) "The theory of generalised heaps and generalised groups", [[Matematicheskii Sbornik]] 32(74): 545 to 632 {{mr|id=0059267}}</ref><ref>C.D. Hollings & M.V. Lawson (2017) ''Wagner's Theory of Generalised Heaps'', [[Springer books]] {{ISBN|978-3-319-63620-7}} {{mr|id=3729305}}</ref> विजातीय और सजातीय सम्बन्धों के प्रतिलोम इन परिभाषाओं द्वारा उजागर किया गया है:
 {{Blockquote
-|text=वैगनर के काम में ढेर, अर्ध-ढेर और सामान्यीकृत ढेर के बीच एक सुखद समरूपता है, और दूसरी ओर समूह, अर्ध-समूह और सामान्यीकृत समूह। अनिवार्य रूप से, जब भी हम ''विभिन्न'' सेट ''ए'' और ''बी'' के बीच द्विआधारी संबंधों (और आंशिक एक-एक मैपिंग) पर विचार करते हैं, तो विभिन्न प्रकार के सेमीहिप्स दिखाई देते हैं, जबकि विभिन्न प्रकार के सेमिग्रुप उस मामले में प्रकट होते हैं जहां ''ए'' = ''बी''।
+|text=वैगनर के काम में ढेर, अर्ध-ढेर और सामान्यीकृत ढेर के बीच एक सुखद समरूपता है, और दूसरी ओर समूह, अर्ध-समूह और सामान्यीकृत समूह। अनिवार्य रूप से, जब भी हम ''विभिन्न'' सेट ''A'' और ''B'' के बीच द्विआधारी संबंधों (और आंशिक एक-एक मैपिंग) पर विचार करते हैं, तो विभिन्न प्रकार के सेमीहिप्स दिखाई देते हैं, जबकि विभिन्न प्रकार के सेमिग्रुप उस मामले में प्रकट होते हैं जहां ''A'' = ''B''।
 |author=क्रिस्टोफर हॉलिंग्स
 |title="आयरन कर्टन के पार गणित: सेमीग्रुप के बीजीय सिद्धांत का इतिहास"<ref>Christopher Hollings (2014) ''Mathematics across the Iron Curtain: a history of the algebraic theory of semigroups'', page 265, History of Mathematics 41, [[American Mathematical Society]] {{ISBN|978-1-4704-1493-1}}</ref>
@@ Line 412: / Line 413: @@
 *असमानता (गणित)
 *जालकी (अनुक्रम)
-*विपरीत सम्बन्ध
+*प्रतिलोम सम्बन्ध
-*सम्बन्धों की रचना
+*सम्बन्धों के संघटन
 *सम्बन्धों की गणना
 *समुच्चय का बीजगणित
@@ Line 419: / Line 420: @@
 *द्विपक्षीय ग्राफ
 *पूर्ण समय और स्थान
-*कुल अनुक्रम
+*टोटल अनुक्रम
 *एंटीसिमेट्रिक सम्बन्ध
 *ट्राइकोटॉमी (गणित)

Anonymous

Search