संबंध (गणित): Difference between revisions

Revision as of 16:58, 29 November 2022

एक समुच्चय पर एक उदाहरण संबंध का चित्रण

A = { a, b, c, d }

। से एक तीर

x

प्रति

y

इंगित करता है कि संबंध के बीच रहता है

x

तथा

y

। संबंध समुच्चय द्वारा दर्शाया गया है

{ (a,a), (a,b), (a,d),

(b,a), (b,d),

(c,b), (d,c), (d,d) }

आदेशित जोड़े की।

गणित में, समुच्चय पर दो दिए गए समुच्चय अवयव के बीच संबंध हो भी सकता है और नहीं भी। उदाहरण के लिए, "इससे कम है" प्राकृतिक संख्याओं के समुच्चय पर एक संबंध है,यह धारण करता है उदाहरण 1 और 3 के बीच (1<3 के रूप में दर्शाता है), और इसी तरह 3 और 4 के बीच (3<4 के रूप में चिह्नित), लेकिन न तो 3 और 1 के बीच और न ही 4 और 4 के बीच संबंध है। एक अन्य उदाहरण के रूप में, "इसकी बहन" संबंध है सभी लोगों के समुच्चय पर, यह धारण करता है उदाहरण मैरी क्यूरी और ब्रोनिस्लावा डुस्का के बीच, और इसी तरह इसके विपरीत। समुच्चय सदस्य "एक निश्चित डिग्री" के संबंध में नहीं हो सकते हैं, इसलिए उदाहरण "इसमें कुछ समानता है" एक संबंध नहीं हो सकता।

औपचारिक रूप से, समुच्चय X पर संबंध R को X के सदस्यों के क्रमित युग्मों (x, y) के समुच्चय के रूप में देखा जा सकता है।^[1]संबंध R, x और y के बीच रखता है यदि (x, y) R का सदस्य है। उदाहरण के लिए, प्राकृतिक संख्याओं पर संबंध "से कम है" अनंत समुच्चय है जिसमें प्राकृतिक संख्याओं जिनमें दोनों (1, 3) और (3,4), लेकिन न तो (3,1) और न ही (4,4) के जोड़े शामिल हैं। अंकीय प्राकृत संख्याओं के समुच्चय पर संबंध "का गैर-तुच्छ भाजक है" यहाँ दिखाए जाने के लिए पर्याप्त रूप से छोटा है: R_div = { (2,4), (2,6), (2,8), (3, 6), (3,9), (4,8)},उदाहरण के लिए 2, 8 का गैर-तुच्छ भाजक है, लेकिन इसके विपरीत नहीं, इसलिए (2,8) ∈ R_div , लेकिन (8,2) ∈ R_div ।

यदि R एक ऐसा संबंध है जो x और y के लिए है तो अक्सर xRy लिखा जाता है। गणित में सबसे आम संबंधों के लिए, विशेष प्रतीकों को पेश किया जाता है, जैसे "<" के लिए "इससे कम है", और "|" के लिए "का गैर-तुच्छ भाजक है", और, सबसे लोकप्रिय "=" के लिए "के बराबर है"। उदाहरण के लिए, "1<3", "1, 3 से कम है", और "(1,3) ∈ R_less" का अर्थ सभी समान है,कुछ लेखक "(1,3) ∈ (<)" भी लिखते हैं।

संबंधों के विभिन्न गुणों की जांच की जाती है। संबंध R स्वतुल्य है यदि xRx सभी x के लिए धारण करता है, और अपरिवर्तनीय है यदि xRx कोई x के लिए धारण नहीं करता है। यह सममित है यदि xRy का अर्थ हमेशा yRx होता है, और असममित यदि xRy का अर्थ है कि yRx असंभव है। यह संक्रामी है यदि xRy और yRz का अर्थ हमेशा xRz होता है। उदाहरण के लिए, "इससे कम है" अपरिवर्तनीय, असममित और संक्रामी है, लेकिन न तो प्रतिवर्त और न ही सममित, "की बहन है" सममित और संक्रमणीय है, लेकिन न तो प्रतिवर्त (जैसे पियरे क्यूरी खुद की बहन नहीं है) और न ही असममित, जबकि अपरिवर्तनीय होना या न होना परिभाषा का विषय हो सकता है (क्या हर महिला खुद की बहन है?), "पूर्वज है" संक्रामी है, जबकि "माता-पिता" नहीं है। गणितीय प्रमेयों को संबंध गुणों के संयोजन के बारे में जाना जाता है, जैसे "एक संक्रमणीय संबंध अपरिवर्तनीय है, और केवल अगर, यह असममित है"।

विशेष महत्व के संबंध हैं जो गुणों के कुछ संयोजनों को संतुष्ट करते हैं।आंशिक क्रम एक ऐसा संबंध है जो अपरिवर्तनीय, असममित और संक्रमणीय है, तुल्यता संबंध ऐसा संबंध है जो प्रतिवर्त, सममित और संक्रमणीय है,^{[citation needed]} फलन एक ऐसा संबंध है जो सही-अद्वितीय और बाएं-कुल है (नीचे देखें) है।^[2]

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

संबंध की उपरोक्त अवधारणा^{[note 1]} को दो अलग-अलग समुच्चय के सदस्यों के बीच संबंधों को स्वीकार करने के लिए सामान्यीकृत किया गया है (विषम संबंध,जैसे सभी बिंदुओं के समुच्चय के बीच "स्थित" और ज्यामिति में सभी पंक्तियों के बीच), तीन या अधिक के बीच संबंध समुच्चय (समुच्चय संबंध,जैसे "व्यक्ति x समय z पर शहर y में रहता है"), और वर्ग (गणित) के बीच संबंध^{[note 2]}(जैसे सभी समुच्चय के वर्ग पर "का एक तत्व है", द्वयाधारी संबंध देखें समुच्चय बनाम वर्ग)।

परिभाषा

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

समुच्चय X और Y पर द्वयी संबंध R का उपसमुच्चय है $X \times Y$ ।^[1]^[3] समुच्चय X को 'डोमेन' कहा जाता है^[1]या R के प्रस्थान का समुच्चय, और समुच्चय Y को कोडोमेन या R के गंतव्य का समुच्चय कहा जाता है। समुच्चय X और Y के विकल्पों को निर्दिष्ट करने के लिए, कुछ लेखक द्विआधारी संबंध या पत्राचार को आदेशित त्रिगुण के रूप में परिभाषित करते हैं $(X, Y, G)$ , जहां G का उपसमुच्चय है $X \times Y$ द्वयी संबंध का ग्राफ कहा जाता है। कथन $(x, y) \in R$ पढ़ता है कि x, R से संबंधित है और इसे infix संकेतन में xRy के रूप में लिखा गया है।^[4]^[5]परिभाषा का डोमेन या सक्रिय डोमेन^[1]R का सभी x का ऐसा समुच्चय है कि कम से कम एक y के लिए xRy है। परिभाषा का कोडोमेन, सक्रिय कोडोमेन,^[1]छवि (गणित) या R के किसी फलन की श्रेणी सभी y का ऐसा समुच्चय है जो कम से कम एक x के लिए xRy हो। आर का क्षेत्र परिभाषा के अपने डोमेन और परिभाषा के कोडोमेन का संघ है।^[6]^[7]^[8] कब $X = Y$ , एक द्विआधारी संबंध को #सजातीय संबंध (या एंडोरेलेशन) कहा जाता है।^[9] अन्यथा यह एक विषम संबंध है।^[10]^[11]^[12] एक द्विआधारी संबंध में, तत्वों का क्रम महत्वपूर्ण होता है,यदि $x \neq y$ तब yRx, xRy से स्वतंत्र होकर सत्य या असत्य हो सकता है। उदाहरण के लिए, 3 9 को विभाजित करता है, लेकिन 9 3 को विभाजित नहीं करता है।

संबंधों के गुण

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

स्वतुल्य संबंध: सभी के लिए $x \in X$ , $xRx$ उदाहरण के लिए, ≥ स्वतुल्य संबंध है लेकिन > नहीं है।

अपरावर्ती संबंध (या strict): सभी के लिए $x \in X$ , नहीं $xRx$ , उदाहरण के लिए, > अपरावर्ती संबंध है, लेकिन ≥ नहीं है।

पिछले 2 विकल्प संपूर्ण नहीं हैं,उदाहरण के लिए, लाल द्वयाधारी संबंध $y = x 2$ खण्ड में दिया गया है § Special types of binary relations न तो अपवर्तक है, न ही प्रतिवर्ती है, क्योंकि इसमें युग्म $(0, 0)$ , लेकिन नहीं $(2, 2)$ , क्रमश है।

सममित संबंध: सभी के लिए $x, y \in X$ , यदि $xRy$ फिर $yRx$ है। उदाहरण के लिए, रक्त रिश्तेदार एक सममित संबंध है, क्योंकि $x$ का रक्त संबंधी है $y$ केवल अगर $y$ का रक्त संबंधी है $x$ ।

प्रतिसममित: सभी के लिए $x, y \in X$ , यदि $xRy$ तथा $yRx$ है फिर $x = y$ है। उदाहरण के लिए, ≥ प्रतिसममित संबंध है,ऐसा है >, लेकिन निर्वात सत्य (परिभाषा में स्थिति हमेशा गलत होती है)।^[13]
असममित संबंध: सभी के लिए $x, y \in X$ , यदि $xRy$ फ़िर $yRx$ नही। संबंध असममित है यदि और केवल यदि यह प्रतिसममित और अपरिवर्तनीय दोनों है।^[14] उदाहरण के लिए, > असममित संबंध है, लेकिन ≥ नहीं है।

फिर से, पिछले 3 विकल्प संपूर्ण होने से बहुत दूर हैं, प्राकृतिक संख्या, संबंध पर उदाहरण के रूप में $xRy$ द्वारा परिभाषित $x > 2$ न तो सममित है और न ही विषम है, अकेले असममित होने दें।

संक्रामी संबंध: सभी के लिए $x, y, z \in X$ , यदि $xRy$ तथा $yRz$ फिर $xRz$ । संक्रामी संबंध अपरिवर्तनीय है अगर और केवल अगर यह असममित है।^[15] उदाहरण के लिए, "के पूर्वज में" संक्रामी संबंध है, जबकि का जनक नहीं है।

Dense: सभी के लिए $x, y \in X$ ऐसा है कि $xRy$ , कुछ मौजूद है $z \in X$ ऐसा है कि $xRz$ तथा $zRy$ । इसका उपयोग घने आदेशों में किया जाता है।

Connected: सभी के लिए $x, y \in X$ , यदि $x \neq y$ फिर $xRy$ या $yRx$ । इस संपत्ति को कभी-कभी कुल कहा जाता है, जो खंड में दी गई कुल परिभाषा से अलग है Relation (mathematics) § Properties of (heterogeneous) relations।

Strongly connected: सभी के लिए $x, y \in X$ , $xRy$ या $yRx$ । इस संपत्ति को कभी-कभी कुल कहा जाता है, जो खंड में दी गई कुल परिभाषा से अलग है Relation (mathematics) § Properties of (heterogeneous) relations।

Trichotomous

सभी के लिए

x, y \in X

, बिल्कुल एक

xRy

,

yRx

या

x = y

रखती है। उदाहरण के लिए, > एक त्रिगुणात्मक संबंध है, जबकि प्राकृतिक संख्याओं पर विभाजित संबंध नहीं है।^[16]

Well-founded

हर गैर-खाली उपसमुच्चय

S

का

X

के संबंध में एक अधिकतम और न्यूनतम तत्व शामिल हैं

R

। अच्छी तरह से स्थापित होने का तात्पर्य अवरोही श्रृंखला की स्थिति से है (अर्थात, कोई अनंत श्रृंखला नहीं है ।।।

x n R ... Rx 3 Rx 2 Rx 1

मौजूद हो सकता है)। यदि आश्रित पसंद का स्वयंसिद्ध मान लिया जाए, तो दोनों स्थितियाँ समतुल्य हैं।^[17]^[18]

Preorder

एक रिश्ता जो स्वतुल्य और संक्रामी है।

Total preorder (भी, linear preorder या weak order): एक संबंध जो प्रतिवर्त, संक्रामी और जुड़ा हुआ है।

Partial order (भी, order^{[citation needed]}): एक संबंध जो प्रतिवर्ती, प्रतिसममित और संक्रामी है।

Strict partial order (भी, strict order^{[citation needed]}): एक संबंध जो अपरावर्ती , प्रतिसममित और संक्रामी है।

Total order (भी, linear order, simple order, या chain): एक संबंध जो प्रतिवर्त, प्रतिसममित, संक्रामी और जुड़ा हुआ है।^[19]
Strict total order (भी, strict linear order, strict simple order, या strict chain): एक संबंध जो अप्रतिवर्ती, प्रतिसममित, संक्रामी और जुड़ा हुआ है।

Partial equivalence relation: एक संबंध जो सममित और संक्रामी है।

Equivalence relation: एक संबंध जो स्वतुल्य, सममित और संक्रामी है। यह एक ऐसा संबंध भी है जो सममित, संक्रामी और क्रमिक है, क्योंकि ये गुण प्रतिवर्तता का संकेत देते हैं।

(विषम) संबंधों के गुण

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

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

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

इंजेक्शन (जिसे वाम-अद्वितीय भी कहा जाता है)^[20] सभी के लिए $x, z \in X$ और सभी $y \in Y$ , यदि $xRy$ तथा $zRy$ फिर $x = z$ । ऐसे संबंध के लिए, {Y} को R की प्राथमिक कुंजी कहा जाता है।^[1]उदाहरण के लिए, आरेख में हरे और नीले द्विआधारी संबंध इंजेक्शन हैं, लेकिन लाल वाला नहीं है (क्योंकि यह -1 और 1 से 1 दोनों से संबंधित है), न ही काला वाला (क्योंकि यह -1 और 1 से 0 दोनों से संबंधित है) ।
कार्यात्मक (जिसे सही-अद्वितीय भी कहा जाता है,^[20]सही-निश्चित^[21] या असंबद्ध): ^[22] सभी के लिए $x \in X$ और सभी $y, z \in Y$ , यदि $xRy$ तथा $xRz$ फिर $y = z$ । इस तरह के द्वयी संबंध को कहा जाता है partial function। ऐसे संबंध के लिए, {X} कहा जाता है a primary key आर का^[1]उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी संबंध कार्यात्मक हैं, लेकिन नीला नहीं है (क्योंकि यह 1 से -1 और 1 दोनों से संबंधित है), और न ही काला वाला (क्योंकि यह 0 से -1 और 1 दोनों से संबंधित है) ।
एक-से-एक: इंजेक्शन और कार्यात्मक। उदाहरण के लिए, आरेख में हरा द्वयाधारी संबंध एक-से-एक है, लेकिन लाल, नीला और काला नहीं है।
एक-से-कई: इंजेक्शन और कार्यात्मक नहीं। उदाहरण के लिए, आरेख में नीला द्वयाधारी संबंध एक-से-कई है, लेकिन लाल, हरा और काला नहीं है।
कई-से-एक: कार्यात्मक और इंजेक्शन नहीं। उदाहरण के लिए, आरेख में लाल द्वयाधारी संबंध कई-से-एक है, लेकिन हरा, नीला और काला नहीं है।
मैनी-टू-मैनी: न तो इंजेक्टिव और न ही फंक्शनल। उदाहरण के लिए, आरेख में काला द्वयाधारी संबंध कई-से-अनेक है, लेकिन लाल, हरा और नीला नहीं है।

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

कुल (बाएं-कुल भी कहा जाता है): एक्स में सभी एक्स के लिए वाई में ऐसा मौजूद है $xRy$ । दूसरे शब्दों में, R की परिभाषा का डोमेन X के बराबर है। यह संपत्ति जुड़ा हुआ संबंध की परिभाषा से अलग है (जिसे कुछ लेखकों द्वारा टोटल भी कहा जाता है)^{[citation needed]} खंड द्वयाधारी संबंध # गुण में। इस तरह के द्वयी संबंध को बहुविकल्पी समारोह कहा जाता है। उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी संबंध कुल हैं, लेकिन नीला वाला नहीं है (क्योंकि यह -1 को किसी वास्तविक संख्या से संबंधित नहीं करता है), और न ही काला वाला (क्योंकि यह 2 को किसी वास्तविक संख्या से संबंधित नहीं करता है) )।

Serial (या left-total): सभी के लिए $x \in X$ , कुछ मौजूद है $y \in X$ ऐसा है कि $xRy$ । उदाहरण के लिए, > पूर्णांकों पर एक क्रमिक संबंध है। लेकिन यह धनात्मक पूर्णांकों पर क्रमिक संबंध नहीं है, क्योंकि ऐसा नहीं है $y$ सकारात्मक पूर्णांकों में जैसे कि $1 > y$ ।^[23] हालाँकि, <धनात्मक पूर्णांकों, परिमेय संख्याओं और वास्तविक संख्याओं पर एक क्रमिक संबंध है। हर रिफ्लेक्सिव रिलेशन सीरियल है: दिए गए के लिए $x$ , चुनें $y = x$ ।

विशेषण (जिसे राइट-टोटल भी कहा जाता है^[20]or on): Y में सभी y के लिए, X में एक x मौजूद है जैसे कि xRy। दूसरे शब्दों में, R की परिभाषा का कोडोमेन Y के बराबर है। उदाहरण के लिए, आरेख में हरे और नीले रंग के द्वयाधारी संबंध विशेषण हैं, लेकिन लाल नहीं है (क्योंकि यह किसी वास्तविक संख्या को -1 से संबंधित नहीं करता है), न ही काला वाला (क्योंकि यह किसी भी वास्तविक संख्या को 2 से संबंधित नहीं करता है)।

विशिष्टता और समग्रता गुण (केवल डोमेन एक्स और कोडोमेन वाई निर्दिष्ट होने पर परिभाषित किया जा सकता है):

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

सजातीय संबंधों पर संचालन

यदि R एक समुच्चय X पर एक सजातीय संबंध है तो निम्नलिखित में से प्रत्येक X पर एक सजातीय संबंध है:

Reflexive closure: आर⁼, $R के रूप में परिभाषित किया गया है =</सुप> = {(एक्स, एक्स) | x \in X} \cup R$ या R युक्त X पर सबसे छोटा रिफ्लेक्सिव संबंध। यह R वाले सभी रिफ्लेक्सिव संबंधों के प्रतिच्छेदन (समुच्चय सिद्धांत) के बराबर साबित हो सकता है।
Reflexive reduction: आर^≠, $R के रूप में परिभाषित किया गया है≠ = R \ {(x, x) | x ∈ X}$ या R में निहित X पर सबसे बड़ा अपरावर्ती संबंध।
Transitive closure: आर⁺, R युक्त X पर सबसे छोटे संक्रामी संबंध के रूप में परिभाषित किया गया है। इसे R वाले सभी संक्रामी संबंधों के प्रतिच्छेदन के बराबर देखा जा सकता है।
Reflexive transitive closure: आर *, के रूप में परिभाषित किया गया $R * = (R +) =$ , सबसे छोटा पूर्व आदेश जिसमें R है।
Reflexive transitive symmetric closure: आर^≡, R वाले X पर सबसे छोटे समतुल्य संबंध के रूप में परिभाषित किया गया है।

अनुभाग में परिभाषित सभी ऑपरेशन § Operations on binary relations सजातीय संबंधों पर भी लागू होता है।

Homogeneous relations by property
	Reflexivity	Symmetry	Transitivity	Connectedness	Symbol	Example
Directed graph					→
Undirected graph		Symmetric
Dependency	Reflexive	Symmetric
Tournament	Irreflexive	Antisymmetric				Pecking order
Preorder	Reflexive		Yes		≤	Preference
Total preorder	Reflexive		Yes	Yes	≤
Partial order	Reflexive	Antisymmetric	Yes		≤	Subset
Strict partial order	Irreflexive	Antisymmetric	Yes		<	Strict subset
Total order	Reflexive	Antisymmetric	Yes	Yes	≤	Alphabetical order
Strict total order	Irreflexive	Antisymmetric	Yes	Yes	<	Strict alphabetical order
Partial equivalence relation		Symmetric	Yes
Equivalence relation	Reflexive	Symmetric	Yes		∼, ≡	Equality

(विषम) संबंधों पर संचालन

Union: यदि आर और एस समुच्चय एक्स और वाई पर द्विआधारी संबंध हैं तो $R \cup S = {(x, y) | xRy या xSy$ है union relation X और Y के ऊपर R और S का। पहचान तत्व खाली संबंध है। उदाहरण के लिए, ≤ < और = का मिलन है, और ≥ > और = का मिलन है।

Intersection: यदि आर और एस समुच्चय एक्स और वाई पर द्विआधारी संबंध हैं तो $R \cap S = {(x, y) | xRy और xSy$ है intersection relation एक्स और वाई पर आर और एस का। पहचान तत्व सार्वभौमिक संबंध है। उदाहरण के लिए, संबंध 6 से विभाज्य है संबंधों का प्रतिच्छेदन 3 से विभाज्य है और 2 से विभाज्य है।

Composition: यदि R समुच्चय X और Y पर एक द्वयी संबंध है, और S समुच्चय Y और Z पर एक द्वयी संबंध है तो $S \circ R = {(x, z) | वहाँ y \in Y का अस्तित्व है जैसे कि xRy और ySz}$ (द्वारा भी निरूपित) $R; S$ ) है composition relation एक्स और जेड पर आर और एस का। पहचान तत्व पहचान संबंध है। अंकन में R और S का क्रम $S \circ R$ , यहाँ प्रयुक्त कार्यों की संरचना के लिए मानक अंकन क्रम से सहमत है। उदाहरण के लिए, रचना ∘ की जननी है, उपज की जननी है, की नानी है, जबकि रचना ∘ की जननी है, उपज की जननी है। पूर्व मामले के लिए, यदि x, y का माता-पिता है और y, z की माता है, तो x, z का नाना-नानी है।

Converse: यदि R समुच्चय X और Y पर एक द्विआधारी संबंध है तो $R टी</सुप> = {(वाई, एक्स) | xRy}$ Y और X पर R का विलोम संबंध है। उदाहरण के लिए, = स्वयं का विलोम है, जैसा ≠ है, और < और > एक दूसरे के विलोम हैं, जैसे ≤ और ≥ हैं। एक द्विआधारी संबंध इसके विलोम के बराबर है यदि और केवल यदि यह सममित संबंध है।

Complement: यदि R समुच्चय X और Y पर एक द्विआधारी संबंध है तो $R = {(एक्स, वाई) | xRy नहीं$ (द्वारा भी दर्शाया गया है R या $\neg R$ ) X और Y पर R का पूरक संबंध है। उदाहरण के लिए, = और ≠ एक दूसरे के पूरक हैं, जैसे ⊆ और ⊈, ⊇ और ⊉, और ∈ और ∉, और, कुल ऑर्डर के लिए भी < और ≥, और > और ≤। विलोम संबंध का पूरक $R T$ पूरक का विलोम है: ${\overline {R^{\mathsf {T}}}}={\bar {R}}^{\mathsf {T}}.$
Restriction: यदि R एक समुच्चय X पर एक द्विआधारी सजातीय संबंध है और S, X का एक उपसमुच्चय है तो $R | S = {(एक्स, वाई) | xRy और x \in S और y \in S}$ है restriction relation का R से S के ऊपर X। यदि R, X और Y के समुच्चय पर एक द्विआधारी संबंध है और यदि S, X का एक उपसमूह है तो $R | S = {(एक्स, वाई) | xRy और x \in S}$ है {{em|left-restriction relation}एक्स और वाई पर आर से एस का }। यदि आर समुच्चय एक्स और वाई पर एक द्विआधारी संबंध है और यदि एस वाई का उपसमुच्चय है तो $R |एस = {(एक्स, वाई) | xRy और y \in S}$ है {{em|right-restriction relation}एक्स और वाई पर आर से एस का }। यदि कोई संबंध रिफ्लेक्टिव संबंध, अपरिवर्तनीय, सममित संबंध, एंटीसिमेट्रिक संबंध, असममित संबंध, संक्रामी संबंध, सीरियल संबंध, ट्राइकोटॉमी (गणित), एक आंशिक क्रम, कुल आदेश, सख्त कमजोर क्रम है, सख्त कमजोर आदेश#कुल पूर्व आदेश (कमजोर आदेश), या एक तुल्यता संबंध, फिर भी इसके प्रतिबंध हैं। हालांकि, एक प्रतिबंध का संक्रामी समापन संक्रामी बंद होने के प्रतिबंध का एक उपसमुच्चय है, अर्थात, सामान्य रूप से समान नहीं है। उदाहरण के लिए, महिलाओं के लिए y का जनक x है संबंध को प्रतिबंधित करने से संबंध x, महिला y की मां है,इसका संक्रामी समापन एक महिला को उसकी नानी से संबंधित नहीं करता है। दूसरी ओर, के माता-पिता का संक्रामी समापन है का पूर्वज है,महिलाओं के लिए इसका प्रतिबंध एक महिला को उसकी नानी से जोड़ता है।

एक द्वयी संबंध R ओवर समुच्चय X और Y कहा जाता है contained in 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 को कहा जाता है smaller S से, लिखा हुआ $R ⊊ S$ । उदाहरण के लिए, परिमेय संख्याओं पर संबंध > ≥ से छोटा होता है, और संघटन के बराबर होता है $> \circ >.$

उदाहरण

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

यह भी देखें

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

संदर्भ

↑ ^1.0 ^1.1 ^1.2 ^1.3 ^1.4 ^1.5 ^1.6 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.
↑ Enderton 1977, Ch 3. pg. 40
↑ Ernst Schröder (1895) Algebra und Logic der Relative, via Internet Archive
↑ C. I. Lewis (1918) A Survey of Symbolic Logic , pages 269 to 279, via internet Archive
↑ 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.
↑ 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.
↑ Schmidt, Gunther; Ströhlein, Thomas (2012). संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित. Definition 4.1.1.: Springer Science & Business Media. ISBN 978-3-642-77968-8.{{cite book}}: CS1 maint: location (link)
↑ Christodoulos A. Floudas; Panos M. Pardalos (2008). अनुकूलन का विश्वकोश (2nd ed.). Springer Science & Business Media. pp. 299–300. ISBN 978-0-387-74758-3.
↑ Michael Winter (2007). गोगुएन श्रेणियाँ: एल-फ़ज़ी संबंधों के लिए एक स्पष्ट दृष्टिकोण. Springer. pp. x–xi. ISBN 978-1-4020-6164-6.
↑ 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".
↑ Since neither 5 divides 3, nor 3 divides 5, nor 3=5.
↑ "अच्छी तरह से स्थापित होने की स्थिति". ProofWiki. Archived from the original on 20 February 2019. Retrieved 20 February 2019.
↑ Fraisse, R. (15 December 2000). संबंधों का सिद्धांत, खंड 145 - पहला संस्करण (1st ed.). Elsevier. p. 46. ISBN 9780444505422. Retrieved 20 February 2019.
↑ Joseph G. Rosenstein, Linear orderings, Academic Press, 1982, ISBN 0-12-597680-1, p. 4
↑ ^20.0 ^20.1 ^20.2
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
↑ Gunther Schmidt, 2010. Relational Mathematics. Cambridge University Press, ISBN 978-0-521-76268-7, Chapt. 5
↑ Yao, Y.Y.; Wong, S.K.M. (1995). "विशेषता मानों के बीच संबंधों का उपयोग करते हुए किसी न किसी सेट का सामान्यीकरण" (PDF). Proceedings of the 2nd Annual Joint Conference on Information Sciences: 30–33..

ग्रन्थसूची

Codd, Edgar Frank (1990). The Relational Model for Database Management: Version 2 (PDF). Boston: Addison-Wesley. ISBN 978-0201141924.
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. 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.

[3] "homogeneous binary relation (on sets)" when delineation from its generalizations is important

[4] ralization of sets

[Codd1970-1] 1.0 ^1.1 ^1.2 ^1.3 ^1.4 ^1.5 ^1.6 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.

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

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

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

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

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

[smullyan-9] 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-10] 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.

[Müller2012-11] 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.

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

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

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

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

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

[17] 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".

[18] Since neither 5 divides 3, nor 3 divides 5, nor 3=5.

[19] "अच्छी तरह से स्थापित होने की स्थिति". ProofWiki. Archived from the original on 20 February 2019. Retrieved 20 February 2019.

[20] Fraisse, R. (15 December 2000). संबंधों का सिद्धांत, खंड 145 - पहला संस्करण (1st ed.). Elsevier. p. 46. ISBN 9780444505422. Retrieved 20 February 2019.

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

[kkm-22] 20.0 ^20.1 ^20.2 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.

[23] 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.

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

[25] 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.

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

[gs-24] Gunther Schmidt, 2010. Relational Mathematics. Cambridge University Press, ISBN 978-0-521-76268-7, Chapt. 5

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

[1]

[2]

[note 1]

[note 2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

@@ Line 2: / Line 2: @@
 {{about|basic notions of relations in mathematics|a more advanced treatment|Binary relation}}
-[[File:Relación binaria 01.svg|thumb|300px|एक समुच्चय पर एक उदाहरण संबंध का चित्रण {{math|1= A = { a, b, c, d } }}. से एक तीर {{mvar|x}} प्रति {{mvar|y}} इंगित करता है कि संबंध के बीच रहता है {{mvar|x}} तथा {{mvar|y}}. संबंध समुच्चय द्वारा दर्शाया गया है
+[[File:Relación binaria 01.svg|thumb|300px|एक समुच्चय पर एक उदाहरण संबंध का चित्रण {{math|1= A = { a, b, c, d } }}। से एक तीर {{mvar|x}} प्रति {{mvar|y}} इंगित करता है कि संबंध के बीच रहता है {{mvar|x}} तथा {{mvar|y}}। संबंध समुच्चय द्वारा दर्शाया गया है
   <!---need to split set manually, since page rendering doesn't insert line breaks--->
 {{math|1= { (a,a), (a,b), (a,d), }} {{math|1= (b,a), (b,d), }} {{math|1= (c,b), (d,c), (d,d) } }} आदेशित जोड़े की।]]
@@ Line 26: / Line 26: @@
 यदि R एक ऐसा संबंध है जो x और y के लिए है तो अक्सर xRy लिखा जाता है। गणित में सबसे आम संबंधों के लिए, विशेष प्रतीकों को पेश किया जाता है, जैसे "<" के लिए "इससे कम है", और "|" के लिए "का गैर-तुच्छ भाजक है", और, सबसे लोकप्रिय "=" के लिए "के बराबर है"। उदाहरण के लिए, "1<3", "1, 3 से कम है", और "(1,3) ∈ R<sub>less</sub>" का अर्थ सभी समान है,कुछ लेखक "(1,3) ∈ (<)" भी लिखते हैं।
-संबंधों के विभिन्न गुणों की जांच की जाती है। संबंध R स्वतुल्य है यदि xRx सभी x के लिए धारण करता है, और अपरिवर्तनीय है यदि xRx कोई x के लिए धारण नहीं करता है। यह सममित है यदि xRy का अर्थ हमेशा yRx होता है, और असममित यदि xRy का अर्थ है कि yRx असंभव है। यह सकर्मक है यदि xRy और yRz का अर्थ हमेशा xRz होता है। उदाहरण के लिए, "इससे कम है" अपरिवर्तनीय, असममित और सकर्मक है, लेकिन न तो प्रतिवर्त और न ही सममित, "की बहन है" सममित और संक्रमणीय है, लेकिन न तो प्रतिवर्त (जैसे पियरे क्यूरी खुद की बहन नहीं है) और न ही असममित, जबकि अपरिवर्तनीय होना या न होना परिभाषा का विषय हो सकता है (क्या हर महिला खुद की बहन है?), "पूर्वज है" सकर्मक है, जबकि "माता-पिता" नहीं है। गणितीय प्रमेयों को संबंध गुणों के संयोजन के बारे में जाना जाता है, जैसे "एक संक्रमणीय संबंध अपरिवर्तनीय है, और केवल अगर, यह असममित है"।
+संबंधों के विभिन्न गुणों की जांच की जाती है। संबंध R स्वतुल्य है यदि xRx सभी x के लिए धारण करता है, और अपरिवर्तनीय है यदि xRx कोई x के लिए धारण नहीं करता है। यह सममित है यदि xRy का अर्थ हमेशा yRx होता है, और असममित यदि xRy का अर्थ है कि yRx असंभव है। यह संक्रामी  है यदि xRy और yRz का अर्थ हमेशा xRz होता है। उदाहरण के लिए, "इससे कम है" अपरिवर्तनीय, असममित और संक्रामी  है, लेकिन न तो प्रतिवर्त और न ही सममित, "की बहन है" सममित और संक्रमणीय है, लेकिन न तो प्रतिवर्त (जैसे पियरे क्यूरी खुद की बहन नहीं है) और न ही असममित, जबकि अपरिवर्तनीय होना या न होना परिभाषा का विषय हो सकता है (क्या हर महिला खुद की बहन है?), "पूर्वज है" संक्रामी  है, जबकि "माता-पिता" नहीं है। गणितीय प्रमेयों को संबंध गुणों के संयोजन के बारे में जाना जाता है, जैसे "एक संक्रमणीय संबंध अपरिवर्तनीय है, और केवल अगर, यह असममित है"।
 विशेष महत्व के संबंध हैं जो गुणों के कुछ संयोजनों को संतुष्ट करते हैं।आंशिक क्रम एक ऐसा संबंध है जो अपरिवर्तनीय, असममित और संक्रमणीय है, [[तुल्यता संबंध]] ऐसा संबंध है जो प्रतिवर्त, सममित और संक्रमणीय है,{{cn|date=November 2022}} फलन एक ऐसा संबंध है जो सही-अद्वितीय और बाएं-कुल है (नीचे देखें) है।<ref>{{Cite web|url=https://mathinsight.org/definition/relation|title=संबंध परिभाषा - गणित अंतर्दृष्टि|website=mathinsight.org|access-date=2019-12-11}}</ref>
-चूंकि संबंध समुच्चय हैं, इसलिए उन्हें समुच्चय ऑपरेशन का उपयोग करके जोड़-तोड़ किया जा सकता है, जिसमें [[संघ (सेट सिद्धांत)|संघ (समुच्चय सिद्धांत)]], प्रतिच्छेदन, और [[पूरक (सेट सिद्धांत)|पूरक (समुच्चय सिद्धांत)]]शामिल हैं, और समुच्चय के बीजगणित के नियमों को संतुष्ट करते हैं। इसके अलावा, संबंध के विलोम और संबंधों की संरचना संबंधों के गहन विश्लेषण में उन्हें अवधारणा नामक उपसमुच्चय में विघटित करना और उन्हें एक [[पूर्ण जाली]] में रखना शामिल है।
+चूंकि संबंध समुच्चय हैं, इसलिए उन्हें समुच्चय ऑपरेशन का उपयोग करके जोड़-तोड़ किया जा सकता है, जिसमें [[संघ (सेट सिद्धांत)|संघ (समुच्चय सिद्धांत)]], प्रतिच्छेदन, और [[पूरक (सेट सिद्धांत)|पूरक (समुच्चय सिद्धांत)]] शामिल हैं, और समुच्चय के बीजगणित के नियमों को संतुष्ट करते हैं। इसके अलावा, संबंध के विलोम और संबंधों की संरचना संबंधों के गहन विश्लेषण में उन्हें अवधारणा नामक उपसमुच्चय में विघटित करना और उन्हें [[पूर्ण जाली|पूर्ण नियम]] में रखना शामिल है।
-संबंध की उपरोक्त अवधारणा<ref group="note">called "homogeneous binary relation (on sets)" when delineation from its generalizations is important</ref> को दो अलग-अलग सेटों के सदस्यों के बीच संबंधों को स्वीकार करने के लिए सामान्यीकृत किया गया है ([[विषम संबंध]],जैसे सभी बिंदुओं के समुच्चय के बीच "झूठ पर" और ज्यामिति में सभी पंक्तियों के बीच), तीन या अधिक के बीच संबंध समुच्चय ([[परिमित संबंध|समुच्चय संबंध]],जैसे "व्यक्ति x समय z पर शहर y में रहता है"), और [[वर्ग (गणित)]]के बीच संबंध<ref group="note">a generalization of sets</ref>(जैसे सभी सेटों के वर्ग पर "का एक तत्व है", बाइनरी संबंध देखें समुच्चय बनाम वर्ग).
+संबंध की उपरोक्त अवधारणा<ref group="note">called "homogeneous binary relation (on sets)" when delineation from its generalizations is important</ref> को दो अलग-अलग समुच्चय के सदस्यों के बीच संबंधों को स्वीकार करने के लिए सामान्यीकृत किया गया है ([[विषम संबंध]],जैसे सभी बिंदुओं के समुच्चय के बीच "स्थित" और ज्यामिति में सभी पंक्तियों के बीच), तीन या अधिक के बीच संबंध समुच्चय ([[परिमित संबंध|समुच्चय संबंध]],जैसे "व्यक्ति x समय z पर शहर y में रहता है"), और [[वर्ग (गणित)]] के बीच संबंध<ref group="note">a generalization of sets</ref>(जैसे सभी समुच्चय के वर्ग पर "का एक तत्व है", द्वयाधारी संबंध देखें समुच्चय बनाम वर्ग)।
 == परिभाषा ==
-दिए गए समुच्चय X और Y, [[कार्तीय गुणन]]फल {{math|''X'' × ''Y''}} <span class= texhtml >{(x, y) | के रूप में परिभाषित किया गया है x ∈ X और y ∈ Y}</span>, और इसके अवयवों को क्रमित युग्म कहा जाता है।
+'''दिए गए समुच्चय X और Y, [[कार्तीय गुणन]] फल {{math|''X'' × ''Y''}} {(x, y) | के रूप में परिभाषित किया गया है x ∈ X और y ∈ Y}, और इसके अवयवों को क्रमित युग्म कहा जाता है।'''
-समुच्चय X और Y पर एक बाइनरी रिलेशन R का एक सबसेट है {{math|''X'' × ''Y''}}.<ref name="Codd1970" /><ref>{{harvnb|Enderton|1977|loc=Ch 3. pg. 40}}</ref> समुच्चय X को 'डोमेन' कहा जाता है<ref name="Codd1970" />या R के प्रस्थान का समुच्चय, और समुच्चय Y को कोडोमेन या R के गंतव्य का समुच्चय। समुच्चय X और Y के विकल्पों को निर्दिष्ट करने के लिए, कुछ लेखक एक द्विआधारी संबंध या पत्राचार को एक आदेशित ट्रिपल के रूप में परिभाषित करते हैं {{math|(''X'', ''Y'', ''G'')}}, जहां G का उपसमुच्चय है {{math|''X'' × ''Y''}} बाइनरी रिलेशन का ग्राफ कहा जाता है। कथन {{math|(''x'', ''y'') ∈ ''R''}} पढ़ता है कि x, R से संबंधित है और इसे infix संकेतन में xRy के रूप में लिखा गया है।<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="Codd1970" />R का सभी x का ऐसा समुच्चय है कि कम से कम एक y के लिए xRy है। परिभाषा का कोडोमेन, सक्रिय कोडोमेन,<ref name="Codd1970" />[[छवि (गणित)]] या R के किसी फलन की श्रेणी सभी y का ऐसा समुच्चय है जो कम से कम एक x के लिए xRy हो। आर का क्षेत्र परिभाषा के अपने डोमेन और परिभाषा के कोडोमेन का संघ है।<ref name="suppes">
+'''समुच्चय X और Y पर द्वयी संबंध R का उपसमुच्चय है {{math|''X'' × ''Y''}}।<ref name="Codd1970" /><ref>{{harvnb|Enderton|1977|loc=Ch 3. pg. 40}}</ref> समुच्चय X को 'डोमेन' कहा जाता है<ref name="Codd1970" />या R के प्रस्थान का समुच्चय, और समुच्चय Y को कोडोमेन या R के गंतव्य का समुच्चय कहा जाता है। समुच्चय X और Y के विकल्पों को निर्दिष्ट करने के लिए, कुछ लेखक द्विआधारी संबंध या पत्राचार को आदेशित त्रिगुण के रूप में परिभाषित करते हैं {{math|(''X'', ''Y'', ''G'')}}, जहां G का उपसमुच्चय है {{math|''X'' × ''Y''}}  द्वयी संबंध का ग्राफ कहा जाता है। कथन {{math|(''x'', ''y'') ∈ ''R''}} पढ़ता है कि x, R से संबंधित है और इसे infix संकेतन में xRy के रूप में लिखा गया है।<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="Codd1970" />R का सभी x का ऐसा समुच्चय है कि कम से कम एक y के लिए xRy है। परिभाषा का कोडोमेन, सक्रिय कोडोमेन,<ref name="Codd1970" />[[छवि (गणित)]] या R के किसी फलन की श्रेणी सभी y का ऐसा समुच्चय है जो कम से कम एक x के लिए xRy हो। आर का क्षेत्र परिभाषा के अपने डोमेन और परिभाषा के कोडोमेन का संघ है।<ref name="suppes">
 {{cite book
 |title=Axiomatic Set Theory
@@ Line 76: / Line 76: @@
 }}
 </ref>
-कब {{math|1=''X'' = ''Y''}}, एक द्विआधारी संबंध को #सजातीय संबंध (या एंडोरेलेशन) कहा जाता है।<ref name="Müller2012">{{cite book|author=M. E. Müller|title=संबंधपरक ज्ञान की खोज|year=2012|publisher=Cambridge University Press|isbn=978-0-521-19021-3|page=22}}</रेफरी><ref name="PahlDamrath2001-p496">{{cite book|author1=Peter J. Pahl|author2=Rudolf Damrath|title=कम्प्यूटेशनल इंजीनियरिंग की गणितीय नींव: एक पुस्तिका|year=2001|publisher=Springer Science & Business Media|isbn=978-3-540-67995-0|page=496}}</ref> अन्यथा यह एक विषम संबंध है।<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 |location=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|1=''X'' = ''Y''}}, एक द्विआधारी संबंध को #सजातीय संबंध (या एंडोरेलेशन) कहा जाता है।<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="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 |location=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''}} तब yRx, xRy से स्वतंत्र होकर सत्य या असत्य हो सकता है। उदाहरण के लिए, 3 9 को विभाजित करता है, लेकिन 9 3 को विभाजित नहीं करता है।
+एक द्विआधारी संबंध में, तत्वों का क्रम महत्वपूर्ण होता है,यदि {{math|''x'' ≠ ''y''}} तब yRx, xRy से स्वतंत्र होकर सत्य या असत्य हो सकता है। उदाहरण के लिए, 3 9 को विभाजित करता है, लेकिन 9 3 को विभाजित नहीं करता है।'''
-== सजातीय संबंधों के गुण ==
+== संबंधों के गुण ==
-सजातीय संबंध के कुछ महत्वपूर्ण गुण {{mvar|R}} एक समुच्चय पर {{mvar|X}} हो सकता है:
+सजातीय संबंध के कुछ महत्वपूर्ण गुण {{mvar|R}} समुच्चय पर {{mvar|X}} हो सकता है:
-; {{em|[[Reflexive relation|Reflexive]]}}: सभी के लिए {{math|''x'' ∈ ''X''}}, {{math|''xRx''}}. उदाहरण के लिए, ≥ एक स्वतुल्य संबंध है लेकिन > नहीं है।
+; {{em|[[ स्वतुल्य संबंध]]}}: सभी के लिए {{math|''x'' ∈ ''X''}}, {{math|''xRx''}} उदाहरण के लिए, ≥ स्वतुल्य संबंध है लेकिन > नहीं है।
-; {{em|[[Irreflexive relation|Irreflexive]]}} (या {{em|strict}}): सभी के लिए {{math|''x'' ∈ ''X''}}, नहीं {{math|''xRx''}}. उदाहरण के लिए, > एक अप्रासंगिक संबंध है, लेकिन ≥ नहीं है।
+; {{em|[[अपरावर्ती संबंध]]}} (या {{em|strict}}): सभी के लिए {{math|''x'' ∈ ''X''}}, नहीं {{math|''xRx''}}, उदाहरण के लिए, > अपरावर्ती  संबंध है, लेकिन ≥ नहीं है।
-पिछले 2 विकल्प संपूर्ण नहीं हैं,उदाहरण के लिए, लाल बाइनरी संबंध {{math|1=''y'' = ''x''<sup>2</sup>}} खण्ड में दिया गया है {{section link||Special types of binary relations}} न तो अपवर्तक है, न ही प्रतिवर्ती है, क्योंकि इसमें युग्म है {{math|(0, 0)}}, लेकिन नहीं {{math|(2, 2)}}, क्रमश।
+पिछले 2 विकल्प संपूर्ण नहीं हैं,उदाहरण के लिए, लाल द्वयाधारी संबंध {{math|1=''y'' = ''x''<sup>2</sup>}} खण्ड में दिया गया है {{section link||Special types of binary relations}} न तो अपवर्तक है, न ही प्रतिवर्ती है, क्योंकि इसमें युग्म {{math|(0, 0)}}, लेकिन नहीं {{math|(2, 2)}}, क्रमश है।
-; {{em|[[Symmetric relation|Symmetric]]}}: सभी के लिए {{math|''x'', ''y'' ∈ ''X''}}, यदि {{math|''xRy''}} फिर {{math|''yRx''}}. उदाहरण के लिए, एक रक्त रिश्तेदार एक सममित संबंध है, क्योंकि {{mvar|x}} का रक्त संबंधी है {{mvar|y}} अगर और केवल अगर {{mvar|y}} का रक्त संबंधी है {{mvar|x}}.
+; {{em|[[ सममित संबंध]]}}: सभी के लिए {{math|''x'', ''y'' ∈ ''X''}}, यदि {{math|''xRy''}} फिर {{math|''yRx''}} है। उदाहरण के लिए, रक्त रिश्तेदार एक सममित संबंध है, क्योंकि {{mvar|x}} का रक्त संबंधी है {{mvar|y}} केवल अगर {{mvar|y}} का रक्त संबंधी है {{mvar|x}}।
-; {{em|[[Antisymmetric relation|Antisymmetric]]}}: सभी के लिए {{math|''x'', ''y'' ∈ ''X''}}, यदि {{math|''xRy''}} तथा {{math|''yRx''}} फिर {{math|1=''x'' = ''y''}}. उदाहरण के लिए, ≥ एक असममित संबंध है,ऐसा है>, लेकिन रिक्त सत्य (परिभाषा में स्थिति हमेशा गलत होती है)।<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|[[ प्रतिसममित]]}}: सभी के लिए {{math|''x'', ''y'' ∈ ''X''}}, यदि {{math|''xRy''}} तथा {{math|''yRx''}} है फिर {{math|1=''x'' = ''y''}} है। उदाहरण के लिए, ≥ प्रतिसममित संबंध है,ऐसा है >, लेकिन निर्वात सत्य (परिभाषा में स्थिति हमेशा गलत होती है)।<ref>{{citation|first1=Douglas|last1=Smith|first2=Maurice|last2=Eggen|first3=Richard|last3=St. Andre|title=A Transition to Advanced Mathematics|edition=6th|publisher=Brooks/Cole|year=2006|isbn=0-534-39900-2|page=160}}</ref>
-; {{em|[[Asymmetric relation|Asymmetric]]}}: सभी के लिए {{math|''x'', ''y'' ∈ ''X''}}, यदि {{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> उदाहरण के लिए, > एक असममित संबंध है, लेकिन ≥ नहीं है।
+; {{em|[[ असममित संबंध]]}}: सभी के लिए {{math|''x'', ''y'' ∈ ''X''}}, यदि {{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> उदाहरण के लिए, > असममित संबंध है, लेकिन ≥ नहीं है।
-फिर से, पिछले 3 विकल्प संपूर्ण होने से बहुत दूर हैं,प्राकृतिक संख्या, संबंध पर एक उदाहरण के रूप में {{math|''xRy''}} द्वारा परिभाषित {{math|''x'' > 2}} न तो सममित है और न ही विषम है, अकेले असममित होने दें।
+फिर से, पिछले 3 विकल्प संपूर्ण होने से बहुत दूर हैं, प्राकृतिक संख्या, संबंध पर उदाहरण के रूप में {{math|''xRy''}} द्वारा परिभाषित {{math|''x'' > 2}} न तो सममित है और न ही विषम है, अकेले असममित होने दें।
-; {{em|[[Transitive relation|Transitive]]}}: सभी के लिए {{math|''x'', ''y'', ''z'' ∈ ''X''}}, यदि {{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|[[संक्रामी संबंध]]}}: सभी के लिए {{math|''x'', ''y'', ''z'' ∈ ''X''}}, यदि {{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|[[Dense relation|Dense]]}}: सभी के लिए {{math|''x'', ''y'' ∈ ''X''}} ऐसा है कि {{math|''xRy''}}, कुछ मौजूद है {{math|''z'' ∈ ''X''}} ऐसा है कि {{math|''xRz''}} तथा {{math|''zRy''}}. इसका उपयोग घने आदेशों में किया जाता है।
+; {{em|[[Dense relation|Dense]]}}: सभी के लिए {{math|''x'', ''y'' ∈ ''X''}} ऐसा है कि {{math|''xRy''}}, कुछ मौजूद है {{math|''z'' ∈ ''X''}} ऐसा है कि {{math|''xRz''}} तथा {{math|''zRy''}}। इसका उपयोग घने आदेशों में किया जाता है।
-; {{em|[[Connected relation|Connected]]}}: सभी के लिए {{math|''x'', ''y'' ∈ ''X''}}, यदि {{math|1=''x'' ≠ ''y''}} फिर {{math|''xRy''}} या {{math|''yRx''}}. इस संपत्ति को कभी-कभी कुल कहा जाता है, जो खंड में दी गई कुल परिभाषा से अलग है {{section link|Relation_(mathematics)#Properties_of_(heterogeneous)_relations}}.
+; {{em|[[Connected relation|Connected]]}}: सभी के लिए {{math|''x'', ''y'' ∈ ''X''}}, यदि {{math|1=''x'' ≠ ''y''}} फिर {{math|''xRy''}} या {{math|''yRx''}}। इस संपत्ति को कभी-कभी कुल कहा जाता है, जो खंड में दी गई कुल परिभाषा से अलग है {{section link|Relation_(mathematics)#Properties_of_(heterogeneous)_relations}}।
-; {{em|[[Connected relation|Strongly connected]]}}: सभी के लिए {{math|''x'', ''y'' ∈ ''X''}}, {{math|''xRy''}} या {{math|''yRx''}}. इस संपत्ति को कभी-कभी कुल कहा जाता है, जो खंड में दी गई कुल परिभाषा से अलग है {{section link|Relation_(mathematics)#Properties_of_(heterogeneous)_relations}}.
+; {{em|[[Connected relation|Strongly connected]]}}: सभी के लिए {{math|''x'', ''y'' ∈ ''X''}}, {{math|''xRy''}} या {{math|''yRx''}}। इस संपत्ति को कभी-कभी कुल कहा जाता है, जो खंड में दी गई कुल परिभाषा से अलग है {{section link|Relation_(mathematics)#Properties_of_(heterogeneous)_relations}}।
 ; {{em|[[Trichotomy (mathematics)|Trichotomous]]}}: सभी के लिए {{math|''x'', ''y'' ∈ ''X''}}, बिल्कुल एक {{math|''xRy''}}, {{math|''yRx''}} या {{math|1=''x'' = ''y''}} रखती है। उदाहरण के लिए, > एक त्रिगुणात्मक संबंध है, जबकि प्राकृतिक संख्याओं पर विभाजित संबंध नहीं है।<ref>Since neither 5 divides 3, nor 3 divides 5, nor 3=5.</ref>
-; {{em|[[Well-founded relation|Well-founded]]}}: हर गैर-खाली सबसेट {{mvar|S}} का {{mvar|X}} के संबंध में एक [[अधिकतम और न्यूनतम तत्व]] शामिल हैं {{mvar|R}}. अच्छी तरह से स्थापित होने का तात्पर्य [[अवरोही श्रृंखला की स्थिति]] से है (अर्थात, कोई अनंत श्रृंखला नहीं है ... {{math|''x''<sub>''n''</sub>''R''...''Rx''<sub>3</sub>''Rx''<sub>2</sub>''Rx''<sub>1</sub>}} मौजूद हो सकता है)। यदि आश्रित पसंद का स्वयंसिद्ध मान लिया जाए, तो दोनों स्थितियाँ समतुल्य हैं।<ref>{{cite web |title=अच्छी तरह से स्थापित होने की स्थिति|url=https://proofwiki.org/wiki/Condition_for_Well-Foundedness |website=ProofWiki |access-date=20 February 2019 |archive-date=20 February 2019 |archive-url=https://web.archive.org/web/20190220181521/https://proofwiki.org/wiki/Condition_for_Well-Foundedness |url-status=dead }}</ref><ref>{{cite book |last1=Fraisse |first1=R. |title=संबंधों का सिद्धांत, खंड 145 - पहला संस्करण|date=15 December 2000 |publisher=Elsevier |isbn=9780444505422 |page=46 |edition=1st |url=https://www.elsevier.com/books/theory-of-relations/fraisse/978-0-444-50542-2 |access-date=20 February 2019}}</ref>
+; {{em|[[Well-founded relation|Well-founded]]}}: हर गैर-खाली उपसमुच्चय {{mvar|S}} का {{mvar|X}} के संबंध में एक [[अधिकतम और न्यूनतम तत्व]] शामिल हैं {{mvar|R}}। अच्छी तरह से स्थापित होने का तात्पर्य [[अवरोही श्रृंखला की स्थिति]] से है (अर्थात, कोई अनंत श्रृंखला नहीं है ।।। {{math|''x''<sub>''n''</sub>''R''...''Rx''<sub>3</sub>''Rx''<sub>2</sub>''Rx''<sub>1</sub>}} मौजूद हो सकता है)। यदि आश्रित पसंद का स्वयंसिद्ध मान लिया जाए, तो दोनों स्थितियाँ समतुल्य हैं।<ref>{{cite web |title=अच्छी तरह से स्थापित होने की स्थिति|url=https://proofwiki.org/wiki/Condition_for_Well-Foundedness |website=ProofWiki |access-date=20 February 2019 |archive-date=20 February 2019 |archive-url=https://web.archive.org/web/20190220181521/https://proofwiki.org/wiki/Condition_for_Well-Foundedness |url-status=dead }}</ref><ref>{{cite book |last1=Fraisse |first1=R. |title=संबंधों का सिद्धांत, खंड 145 - पहला संस्करण|date=15 December 2000 |publisher=Elsevier |isbn=9780444505422 |page=46 |edition=1st |url=https://www.elsevier.com/books/theory-of-relations/fraisse/978-0-444-50542-2 |access-date=20 February 2019}}</ref>
-; {{em|[[Preorder]]}}: एक रिश्ता जो स्वतुल्य और सकर्मक है।
+; {{em|[[Preorder]]}}: एक रिश्ता जो स्वतुल्य और संक्रामी  है।
-:; {{em|[[Weak ordering#Total preorders|Total preorder]]}} (भी, {{em|linear preorder}} या {{em|weak order}}): एक संबंध जो प्रतिवर्त, सकर्मक और जुड़ा हुआ है।
+:; {{em|[[Weak ordering#Total preorders|Total preorder]]}} (भी, {{em|linear preorder}} या {{em|weak order}}): एक संबंध जो प्रतिवर्त, संक्रामी  और जुड़ा हुआ है।
-; {{em|[[Partially ordered set#Formal definition|Partial order]]}} (भी, {{em|order}}{{citation needed|date=March 2020}}): एक संबंध जो प्रतिवर्ती, प्रतिसममित और सकर्मक है।
+; {{em|[[Partially ordered set#Formal definition|Partial order]]}} (भी, {{em|order}}{{citation needed|date=March 2020}}): एक संबंध जो प्रतिवर्ती, प्रतिसममित और संक्रामी  है।
-:; {{em|[[Partially ordered set#Correspondence of strict and non-strict partial order relations|Strict partial order]]}} (भी, {{em|strict order}}{{citation needed|date=March 2020}}): एक संबंध जो अप्रासंगिक, प्रतिसममित और सकर्मक है।
+:; {{em|[[Partially ordered set#Correspondence of strict and non-strict partial order relations|Strict partial order]]}} (भी, {{em|strict order}}{{citation needed|date=March 2020}}): एक संबंध जो अपरावर्ती , प्रतिसममित और संक्रामी  है।
-:; {{em|[[Total order]]}} (भी, {{em|linear order}}, {{em|simple order}}, या {{em|chain}}): एक संबंध जो प्रतिवर्त, प्रतिसममित, सकर्मक और जुड़ा हुआ है।<ref>Joseph G. Rosenstein, ''Linear orderings'', Academic Press, 1982, {{ISBN|0-12-597680-1}}, p.&nbsp;4</ref>
+:; {{em|[[Total order]]}} (भी, {{em|linear order}}, {{em|simple order}}, या {{em|chain}}): एक संबंध जो प्रतिवर्त, प्रतिसममित, संक्रामी  और जुड़ा हुआ है।<ref>Joseph G. Rosenstein, ''Linear orderings'', Academic Press, 1982, {{ISBN|0-12-597680-1}}, p.&nbsp;4</ref>
-:; {{em|[[Total order#Strict total order|Strict total order]]}} (भी, {{em|strict linear order}}, {{em|strict simple order}}, या {{em|strict chain}}): एक संबंध जो अप्रतिवर्ती, प्रतिसममित, सकर्मक और जुड़ा हुआ है।
+:; {{em|[[Total order#Strict total order|Strict total order]]}} (भी, {{em|strict linear order}}, {{em|strict simple order}}, या {{em|strict chain}}): एक संबंध जो अप्रतिवर्ती, प्रतिसममित, संक्रामी  और जुड़ा हुआ है।
-; {{em|[[Partial equivalence relation]]}}: एक संबंध जो सममित और सकर्मक है।
+; {{em|[[Partial equivalence relation]]}}: एक संबंध जो सममित और संक्रामी  है।
-:; {{em|[[Equivalence relation]]}}: एक संबंध जो स्वतुल्य, सममित और सकर्मक है। यह एक ऐसा संबंध भी है जो सममित, सकर्मक और क्रमिक है, क्योंकि ये गुण प्रतिवर्तता का संकेत देते हैं।
+:; {{em|[[Equivalence relation]]}}: एक संबंध जो स्वतुल्य, सममित और संक्रामी  है। यह एक ऐसा संबंध भी है जो सममित, संक्रामी  और क्रमिक है, क्योंकि ये गुण प्रतिवर्तता का संकेत देते हैं।
 == (विषम) संबंधों के गुण ==
-[[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/> सभी के लिए {{math|''x'', ''z'' ∈ ''X''}} और सभी {{math|''y'' ∈ ''Y''}}, यदि {{math|''xRy''}} तथा {{math|''zRy''}} फिर {{math|1=''x'' = ''z''}}. ऐसे संबंध के लिए, {Y} को R की [[प्राथमिक कुंजी]] कहा जाता है।<ref name="Codd1970" />उदाहरण के लिए, आरेख में हरे और नीले द्विआधारी संबंध इंजेक्शन हैं, लेकिन लाल वाला नहीं है (क्योंकि यह -1 और 1 से 1 दोनों से संबंधित है), न ही काला वाला (क्योंकि यह -1 और 1 से 0 दोनों से संबंधित है) .
+; इंजेक्शन (जिसे वाम-अद्वितीय भी कहा जाता है)<ref name=kkm/> सभी के लिए {{math|''x'', ''z'' ∈ ''X''}} और सभी {{math|''y'' ∈ ''Y''}}, यदि {{math|''xRy''}} तथा {{math|''zRy''}} फिर {{math|1=''x'' = ''z''}}। ऐसे संबंध के लिए, {Y} को R की [[प्राथमिक कुंजी]] कहा जाता है।<ref name="Codd1970" />उदाहरण के लिए, आरेख में हरे और नीले द्विआधारी संबंध इंजेक्शन हैं, लेकिन लाल वाला नहीं है (क्योंकि यह -1 और 1 से 1 दोनों से संबंधित है), न ही काला वाला (क्योंकि यह -1 और 1 से 0 दोनों से संबंधित है) ।
 ; कार्यात्मक (जिसे सही-अद्वितीय भी कहा जाता है,<ref name=kkm>Kilp, Knauer and Mikhalev: p.&nbsp;3. The same four definitions appear in the following:
 * {{cite book
@@ Line 149: / Line 149: @@
   | isbn=978-3-89675-629-9
   | pages=21–22
-}}</ref>सही-निश्चित<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>[[Gunther Schmidt]], 2010. ''Relational Mathematics''. Cambridge University Press, {{ISBN|978-0-521-76268-7}}, Chapt. 5</ref> सभी के लिए {{math|''x'' ∈ ''X''}} और सभी {{math|''y'', ''z'' ∈ ''Y''}}, यदि {{math|''xRy''}} तथा {{math|''xRz''}} फिर {{math|1=''y'' = ''z''}}. इस तरह के बाइनरी रिलेशन को कहा जाता है {{em|[[partial function]]}}. ऐसे संबंध के लिए, {X} कहा जाता है {{em|a primary key}} आर का<ref name="Codd1970" />उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी संबंध कार्यात्मक हैं, लेकिन नीला नहीं है (क्योंकि यह 1 से -1 और 1 दोनों से संबंधित है), और न ही काला वाला (क्योंकि यह 0 से -1 और 1 दोनों से संबंधित है) .
+}}</ref>सही-निश्चित<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>[[Gunther Schmidt]], 2010. ''Relational Mathematics''. Cambridge University Press, {{ISBN|978-0-521-76268-7}}, Chapt. 5</ref> सभी के लिए {{math|''x'' ∈ ''X''}} और सभी {{math|''y'', ''z'' ∈ ''Y''}}, यदि {{math|''xRy''}} तथा {{math|''xRz''}} फिर {{math|1=''y'' = ''z''}}। इस तरह के  द्वयी संबंध को कहा जाता है {{em|[[partial function]]}}। ऐसे संबंध के लिए, {X} कहा जाता है {{em|a primary key}} आर का<ref name="Codd1970" />उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी संबंध कार्यात्मक हैं, लेकिन नीला नहीं है (क्योंकि यह 1 से -1 और 1 दोनों से संबंधित है), और न ही काला वाला (क्योंकि यह 0 से -1 और 1 दोनों से संबंधित है) ।
-; एक-से-एक: इंजेक्शन और कार्यात्मक। उदाहरण के लिए, आरेख में हरा बाइनरी संबंध एक-से-एक है, लेकिन लाल, नीला और काला नहीं है।
+; एक-से-एक: इंजेक्शन और कार्यात्मक। उदाहरण के लिए, आरेख में हरा  द्वयाधारी संबंध एक-से-एक है, लेकिन लाल, नीला और काला नहीं है।
-; एक-से-कई: इंजेक्शन और कार्यात्मक नहीं। उदाहरण के लिए, आरेख में नीला बाइनरी संबंध एक-से-कई है, लेकिन लाल, हरा और काला नहीं है।
+; एक-से-कई: इंजेक्शन और कार्यात्मक नहीं। उदाहरण के लिए, आरेख में नीला  द्वयाधारी संबंध एक-से-कई है, लेकिन लाल, हरा और काला नहीं है।
-; कई-से-एक: कार्यात्मक और इंजेक्शन नहीं। उदाहरण के लिए, आरेख में लाल बाइनरी संबंध कई-से-एक है, लेकिन हरा, नीला और काला नहीं है।
+; कई-से-एक: कार्यात्मक और इंजेक्शन नहीं। उदाहरण के लिए, आरेख में लाल  द्वयाधारी संबंध कई-से-एक है, लेकिन हरा, नीला और काला नहीं है।
-; मैनी-टू-मैनी: न तो इंजेक्टिव और न ही फंक्शनल। उदाहरण के लिए, आरेख में काला बाइनरी संबंध कई-से-अनेक है, लेकिन लाल, हरा और नीला नहीं है।
+; मैनी-टू-मैनी: न तो इंजेक्टिव और न ही फंक्शनल। उदाहरण के लिए, आरेख में काला  द्वयाधारी संबंध कई-से-अनेक है, लेकिन लाल, हरा और नीला नहीं है।
 संपूर्णता गुण (केवल तभी परिभाषित किया जा सकता है जब डोमेन X और कोडोमेन Y निर्दिष्ट हों):
-; कुल (बाएं-कुल भी कहा जाता है): एक्स में सभी एक्स के लिए वाई में ऐसा मौजूद है {{math|''xRy''}}. दूसरे शब्दों में, R की परिभाषा का डोमेन X के बराबर है। यह संपत्ति [[जुड़ा हुआ संबंध]] की परिभाषा से अलग है (जिसे कुछ लेखकों द्वारा टोटल भी कहा जाता है){{citation needed|date=June 2020}} खंड बाइनरी संबंध # गुण में। इस तरह के बाइनरी रिलेशन को [[बहुविकल्पी समारोह]] कहा जाता है। उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी संबंध कुल हैं, लेकिन नीला वाला नहीं है (क्योंकि यह -1 को किसी वास्तविक संख्या से संबंधित नहीं करता है), और न ही काला वाला (क्योंकि यह 2 को किसी वास्तविक संख्या से संबंधित नहीं करता है) ).
+; कुल (बाएं-कुल भी कहा जाता है): एक्स में सभी एक्स के लिए वाई में ऐसा मौजूद है {{math|''xRy''}}। दूसरे शब्दों में, R की परिभाषा का डोमेन X के बराबर है। यह संपत्ति [[जुड़ा हुआ संबंध]] की परिभाषा से अलग है (जिसे कुछ लेखकों द्वारा टोटल भी कहा जाता है){{citation needed|date=June 2020}} खंड  द्वयाधारी संबंध # गुण में। इस तरह के  द्वयी संबंध को [[बहुविकल्पी समारोह]] कहा जाता है। उदाहरण के लिए, आरेख में लाल और हरे रंग के द्विआधारी संबंध कुल हैं, लेकिन नीला वाला नहीं है (क्योंकि यह -1 को किसी वास्तविक संख्या से संबंधित नहीं करता है), और न ही काला वाला (क्योंकि यह 2 को किसी वास्तविक संख्या से संबंधित नहीं करता है) )।
-; {{em|[[Serial relation|Serial]]}} (या {{em|left-total}}): सभी के लिए {{math|''x'' ∈ ''X''}}, कुछ मौजूद है {{math|''y'' ∈ ''X''}} ऐसा है कि {{math|''xRy''}}. उदाहरण के लिए, > पूर्णांकों पर एक क्रमिक संबंध है। लेकिन यह धनात्मक पूर्णांकों पर क्रमिक संबंध नहीं है, क्योंकि ऐसा नहीं है {{mvar|y}} सकारात्मक पूर्णांकों में जैसे कि {{math|1 > ''y''}}.<ref>{{cite journal|last = Yao|first = Y.Y.|author2=Wong, S.K.M.|title = विशेषता मानों के बीच संबंधों का उपयोग करते हुए किसी न किसी सेट का सामान्यीकरण|journal = Proceedings of the 2nd Annual Joint Conference on Information Sciences|year = 1995|pages = 30–33|url = http://www2.cs.uregina.ca/~yyao/PAPERS/relation.pdf}}.</ref> हालाँकि, <धनात्मक पूर्णांकों, परिमेय संख्याओं और वास्तविक संख्याओं पर एक क्रमिक संबंध है। हर रिफ्लेक्सिव रिलेशन सीरियल है: दिए गए के लिए {{mvar|x}}, चुनें {{math|1=''y'' = ''x''}}.
+; {{em|[[Serial relation|Serial]]}} (या {{em|left-total}}): सभी के लिए {{math|''x'' ∈ ''X''}}, कुछ मौजूद है {{math|''y'' ∈ ''X''}} ऐसा है कि {{math|''xRy''}}। उदाहरण के लिए, > पूर्णांकों पर एक क्रमिक संबंध है। लेकिन यह धनात्मक पूर्णांकों पर क्रमिक संबंध नहीं है, क्योंकि ऐसा नहीं है {{mvar|y}} सकारात्मक पूर्णांकों में जैसे कि {{math|1 > ''y''}}।<ref>{{cite journal|last = Yao|first = Y.Y.|author2=Wong, S.K.M.|title = विशेषता मानों के बीच संबंधों का उपयोग करते हुए किसी न किसी सेट का सामान्यीकरण|journal = Proceedings of the 2nd Annual Joint Conference on Information Sciences|year = 1995|pages = 30–33|url = http://www2.cs.uregina.ca/~yyao/PAPERS/relation.pdf}}.</ref> हालाँकि, <धनात्मक पूर्णांकों, परिमेय संख्याओं और वास्तविक संख्याओं पर एक क्रमिक संबंध है। हर रिफ्लेक्सिव रिलेशन सीरियल है: दिए गए के लिए {{mvar|x}}, चुनें {{math|1=''y'' = ''x''}}।
-; विशेषण (जिसे राइट-टोटल भी कहा जाता है<ref name=kkm/>or on): Y में सभी y के लिए, X में एक x मौजूद है जैसे कि xRy। दूसरे शब्दों में, R की परिभाषा का कोडोमेन Y के बराबर है। उदाहरण के लिए, आरेख में हरे और नीले रंग के बाइनरी संबंध विशेषण हैं, लेकिन लाल नहीं है (क्योंकि यह किसी वास्तविक संख्या को -1 से संबंधित नहीं करता है), न ही काला वाला (क्योंकि यह किसी भी वास्तविक संख्या को 2 से संबंधित नहीं करता है)।
+; विशेषण (जिसे राइट-टोटल भी कहा जाता है<ref name=kkm/>or on): Y में सभी y के लिए, X में एक x मौजूद है जैसे कि xRy। दूसरे शब्दों में, R की परिभाषा का कोडोमेन Y के बराबर है। उदाहरण के लिए, आरेख में हरे और नीले रंग के  द्वयाधारी संबंध विशेषण हैं, लेकिन लाल नहीं है (क्योंकि यह किसी वास्तविक संख्या को -1 से संबंधित नहीं करता है), न ही काला वाला (क्योंकि यह किसी भी वास्तविक संख्या को 2 से संबंधित नहीं करता है)।
 विशिष्टता और समग्रता गुण (केवल डोमेन एक्स और कोडोमेन वाई निर्दिष्ट होने पर परिभाषित किया जा सकता है):
-; ए {{em|[[Function (mathematics)|function]]}}: एक द्विआधारी संबंध जो कार्यात्मक और कुल है। उदाहरण के लिए, आरेख में लाल और हरे रंग के बाइनरी संबंध कार्य हैं, लेकिन नीले और काले वाले नहीं हैं।
+; ए {{em|[[Function (mathematics)|function]]}}: एक द्विआधारी संबंध जो कार्यात्मक और कुल है। उदाहरण के लिए, आरेख में लाल और हरे रंग के  द्वयाधारी संबंध कार्य हैं, लेकिन नीले और काले वाले नहीं हैं।
-; एक {{em|[[Injective function|injection]]}}: एक फलन जो इंजेक्शन है। उदाहरण के लिए, आरेख में हरे रंग का बाइनरी संबंध एक इंजेक्शन है, लेकिन लाल, नीला और काला नहीं है।
+; एक {{em|[[Injective function|injection]]}}: एक फलन जो इंजेक्शन है। उदाहरण के लिए, आरेख में हरे रंग का  द्वयाधारी संबंध एक इंजेक्शन है, लेकिन लाल, नीला और काला नहीं है।
-; ए {{em|[[Surjective function|surjection]]}}: एक कार्य जो विशेषण है। उदाहरण के लिए, आरेख में हरा बाइनरी संबंध एक अनुमान है, लेकिन लाल, नीला और काला नहीं है।
+; ए {{em|[[Surjective function|surjection]]}}: एक कार्य जो विशेषण है। उदाहरण के लिए, आरेख में हरा  द्वयाधारी संबंध एक अनुमान है, लेकिन लाल, नीला और काला नहीं है।
-; ए {{em|[[bijection]]}}: एक फलन जो अंतःक्षेपी और आच्छादक है। उदाहरण के लिए, आरेख में हरा बाइनरी संबंध एक आक्षेप है, लेकिन लाल, नीला और काला नहीं है।
+; ए {{em|[[bijection]]}}: एक फलन जो अंतःक्षेपी और आच्छादक है। उदाहरण के लिए, आरेख में हरा  द्वयाधारी संबंध एक आक्षेप है, लेकिन लाल, नीला और काला नहीं है।
 == सजातीय संबंधों पर संचालन ==
 यदि R एक समुच्चय X पर एक सजातीय संबंध है तो निम्नलिखित में से प्रत्येक X पर एक सजातीय संबंध है:
 ; {{em|[[Reflexive closure]]}}: आर<sup>= </sup>, <span class= texhtml >R के रूप में परिभाषित किया गया है<sup>=</सुप> = {(एक्स, एक्स) | x ∈ X} ∪ R</span> या R युक्त X पर सबसे छोटा रिफ्लेक्सिव संबंध। यह R वाले सभी रिफ्लेक्सिव संबंधों के प्रतिच्छेदन (समुच्चय सिद्धांत) के बराबर साबित हो सकता है।
-; {{em|Reflexive reduction}}: आर<sup>≠</sup>, <span class= texhtml >R के रूप में परिभाषित किया गया है<sup>≠</sup> = R \ {(x, x) | x ∈ X}</span> या R में निहित X पर सबसे बड़ा अप्रासंगिक संबंध।
+; {{em|Reflexive reduction}}: आर<sup>≠</sup>, <span class= texhtml >R के रूप में परिभाषित किया गया है<sup>≠</sup> = R \ {(x, x) | x ∈ X}</span> या R में निहित X पर सबसे बड़ा अपरावर्ती  संबंध।
-; {{em|[[Transitive closure]]}}: आर<sup>+</sup>, R युक्त X पर सबसे छोटे सकर्मक संबंध के रूप में परिभाषित किया गया है। इसे R वाले सभी सकर्मक संबंधों के प्रतिच्छेदन के बराबर देखा जा सकता है।
+; {{em|[[Transitive closure]]}}: आर<sup>+</sup>, R युक्त X पर सबसे छोटे संक्रामी  संबंध के रूप में परिभाषित किया गया है। इसे R वाले सभी संक्रामी  संबंधों के प्रतिच्छेदन के बराबर देखा जा सकता है।
 ; {{em|Reflexive transitive closure}}: आर *, के रूप में परिभाषित किया गया {{math|1=''R''* = (''R''<sup>+</sup>)<sup>=</sup>}}, सबसे छोटा [[पूर्व आदेश]] जिसमें R है।
 ; {{em|[[Reflexive transitive symmetric closure]]}}: आर<sup>≡</sup>, R वाले X पर सबसे छोटे समतुल्य संबंध के रूप में परिभाषित किया गया है।
@@ Line 297: / Line 297: @@
 ; {{em| Intersection}}: यदि आर और एस समुच्चय एक्स और वाई पर द्विआधारी संबंध हैं तो <span class= texhtml >R ∩ S = {(x, y) | xRy और xSy</span> है {{em|intersection relation}} एक्स और वाई पर आर और एस का। पहचान तत्व सार्वभौमिक संबंध है। उदाहरण के लिए, संबंध 6 से विभाज्य है संबंधों का प्रतिच्छेदन 3 से विभाज्य है और 2 से विभाज्य है।
-; {{em| Composition}}: यदि R समुच्चय X और Y पर एक बाइनरी रिलेशन है, और S समुच्चय Y और Z पर एक बाइनरी रिलेशन है तो <span class= texhtml >S ∘ R = {(x, z) | वहाँ y ∈ Y का अस्तित्व है जैसे कि xRy और ySz}</span> (द्वारा भी निरूपित) {{math|''R''; ''S''}}) है {{em|composition relation}} एक्स और जेड पर आर और एस का। पहचान तत्व पहचान संबंध है। अंकन में R और S का क्रम {{math|''S'' ∘ ''R''}}, यहाँ प्रयुक्त [[कार्यों की संरचना]] के लिए मानक अंकन क्रम से सहमत है। उदाहरण के लिए, रचना ∘ की जननी है, उपज की जननी है, की नानी है, जबकि रचना ∘ की जननी है, उपज की जननी है। पूर्व मामले के लिए, यदि x, y का माता-पिता है और y, z की माता है, तो x, z का नाना-नानी है।
+; {{em| Composition}}: यदि R समुच्चय X और Y पर एक  द्वयी संबंध है, और S समुच्चय Y और Z पर एक  द्वयी संबंध है तो <span class= texhtml >S ∘ R = {(x, z) | वहाँ y ∈ Y का अस्तित्व है जैसे कि xRy और ySz}</span> (द्वारा भी निरूपित) {{math|''R''; ''S''}}) है {{em|composition relation}} एक्स और जेड पर आर और एस का। पहचान तत्व पहचान संबंध है। अंकन में R और S का क्रम {{math|''S'' ∘ ''R''}}, यहाँ प्रयुक्त [[कार्यों की संरचना]] के लिए मानक अंकन क्रम से सहमत है। उदाहरण के लिए, रचना ∘ की जननी है, उपज की जननी है, की नानी है, जबकि रचना ∘ की जननी है, उपज की जननी है। पूर्व मामले के लिए, यदि x, y का माता-पिता है और y, z की माता है, तो x, z का नाना-नानी है।
 ; {{em| Converse}}: यदि R समुच्चय X और Y पर एक द्विआधारी संबंध है तो <span class= texhtml >R<sup>टी</सुप> = {(वाई, एक्स) | xRy}</span> Y और X पर R का विलोम संबंध है। उदाहरण के लिए, = स्वयं का विलोम है, जैसा ≠ है, और < और > एक दूसरे के विलोम हैं, जैसे ≤ और ≥ हैं। एक द्विआधारी संबंध इसके विलोम के बराबर है यदि और केवल यदि यह [[सममित संबंध]] है।
-; {{em| Complement}}: यदि R समुच्चय X और Y पर एक द्विआधारी संबंध है तो <span class= texhtml >{{overline|''R''}} = {(एक्स, वाई) | xRy नहीं </span> (द्वारा भी दर्शाया गया है {{strikethrough|''R''}} या {{math|&not; ''R''}}) X और Y पर R का पूरक संबंध है। उदाहरण के लिए, = और ≠ एक दूसरे के पूरक हैं, जैसे ⊆ और ⊈, ⊇ और ⊉, और ∈ और ∉, और, कुल ऑर्डर के लिए भी < और ≥, और > और ≤. विलोम संबंध का पूरक {{math|''R''<sup>T</sup>}} पूरक का विलोम है: <math>\overline{R^\mathsf{T}} = \bar{R}^\mathsf{T}.</math>
+; {{em| Complement}}: यदि R समुच्चय X और Y पर एक द्विआधारी संबंध है तो <span class= texhtml >{{overline|''R''}} = {(एक्स, वाई) | xRy नहीं </span> (द्वारा भी दर्शाया गया है {{strikethrough|''R''}} या {{math|&not; ''R''}}) X और Y पर R का पूरक संबंध है। उदाहरण के लिए, = और ≠ एक दूसरे के पूरक हैं, जैसे ⊆ और ⊈, ⊇ और ⊉, और ∈ और ∉, और, कुल ऑर्डर के लिए भी < और ≥, और > और ≤। विलोम संबंध का पूरक {{math|''R''<sup>T</sup>}} पूरक का विलोम है: <math>\overline{R^\mathsf{T}} = \bar{R}^\mathsf{T}.</math>
-; {{em| Restriction}}: यदि R एक समुच्चय X पर एक द्विआधारी [[सजातीय संबंध]] है और S, X का एक उपसमुच्चय है तो <span class= texhtml >R<sub>|''S''</sub> = {(एक्स, वाई) | xRy और x ∈ S और y ∈ S}</span> है {{em|{{visible anchor|restriction relation|Restriction relation|Restriction of a homogeneous relation}}}} का R से S के ऊपर X। यदि R, X और Y के समुच्चय पर एक द्विआधारी संबंध है और यदि S, X का एक उपसमूह है तो <span class= texhtml >R<sub>|''S''</sub> = {(एक्स, वाई) | xRy और x ∈ S}</span> है {{em|{{visible anchor|left-restriction relation|Left-restriction relation}}}एक्स और वाई पर आर से एस का }। यदि आर समुच्चय एक्स और वाई पर एक द्विआधारी संबंध है और यदि एस वाई का सबसेट है तो <span class= texhtml >R<sup>|एस</sup> = {(एक्स, वाई) | xRy और y ∈ S}</span> है {{em|{{visible anchor|right-restriction relation|Right-restriction relation}}}एक्स और वाई पर आर से एस का }। यदि कोई संबंध रिफ्लेक्टिव संबंध, अपरिवर्तनीय, सममित संबंध, [[एंटीसिमेट्रिक संबंध]], [[असममित संबंध]], [[सकर्मक संबंध]], [[सीरियल संबंध]], [[ट्राइकोटॉमी (गणित)]], एक आंशिक क्रम, कुल आदेश, सख्त कमजोर क्रम है, [[सख्त कमजोर आदेश]]#कुल पूर्व आदेश (कमजोर आदेश), या एक तुल्यता संबंध, फिर भी इसके प्रतिबंध हैं। हालांकि, एक प्रतिबंध का सकर्मक समापन सकर्मक बंद होने के प्रतिबंध का एक उपसमुच्चय है, अर्थात, सामान्य रूप से समान नहीं है। उदाहरण के लिए, महिलाओं के लिए y का जनक x है संबंध को प्रतिबंधित करने से संबंध x, महिला y की मां है,इसका सकर्मक समापन एक महिला को उसकी नानी से संबंधित नहीं करता है। दूसरी ओर, के माता-पिता का सकर्मक समापन है का पूर्वज है,महिलाओं के लिए इसका प्रतिबंध एक महिला को उसकी नानी से जोड़ता है।
+; {{em| Restriction}}: यदि R एक समुच्चय X पर एक द्विआधारी [[सजातीय संबंध]] है और S, X का एक उपसमुच्चय है तो <span class= texhtml >R<sub>|''S''</sub> = {(एक्स, वाई) | xRy और x ∈ S और y ∈ S}</span> है {{em|{{visible anchor|restriction relation|Restriction relation|Restriction of a homogeneous relation}}}} का R से S के ऊपर X। यदि R, X और Y के समुच्चय पर एक द्विआधारी संबंध है और यदि S, X का एक उपसमूह है तो <span class= texhtml >R<sub>|''S''</sub> = {(एक्स, वाई) | xRy और x ∈ S}</span> है {{em|{{visible anchor|left-restriction relation|Left-restriction relation}}}एक्स और वाई पर आर से एस का }। यदि आर समुच्चय एक्स और वाई पर एक द्विआधारी संबंध है और यदि एस वाई का उपसमुच्चय है तो <span class= texhtml >R<sup>|एस</sup> = {(एक्स, वाई) | xRy और y ∈ S}</span> है {{em|{{visible anchor|right-restriction relation|Right-restriction relation}}}एक्स और वाई पर आर से एस का }। यदि कोई संबंध रिफ्लेक्टिव संबंध, अपरिवर्तनीय, सममित संबंध, [[एंटीसिमेट्रिक संबंध]], [[असममित संबंध]], [[सकर्मक संबंध|संक्रामी  संबंध]], [[सीरियल संबंध]], [[ट्राइकोटॉमी (गणित)]], एक आंशिक क्रम, कुल आदेश, सख्त कमजोर क्रम है, [[सख्त कमजोर आदेश]]#कुल पूर्व आदेश (कमजोर आदेश), या एक तुल्यता संबंध, फिर भी इसके प्रतिबंध हैं। हालांकि, एक प्रतिबंध का संक्रामी  समापन संक्रामी  बंद होने के प्रतिबंध का एक उपसमुच्चय है, अर्थात, सामान्य रूप से समान नहीं है। उदाहरण के लिए, महिलाओं के लिए y का जनक x है संबंध को प्रतिबंधित करने से संबंध x, महिला y की मां है,इसका संक्रामी  समापन एक महिला को उसकी नानी से संबंधित नहीं करता है। दूसरी ओर, के माता-पिता का संक्रामी  समापन है का पूर्वज है,महिलाओं के लिए इसका प्रतिबंध एक महिला को उसकी नानी से जोड़ता है।
 <!---This definition is needed by the closure defs, too, but maybe should better given in an earlier section(?):--->
-एक बाइनरी रिलेशन R ओवर समुच्चय X और Y कहा जाता है {{em|{{visible anchor|contained in|Containment of relations}}}} X और Y पर एक संबंध S लिखा है <math>R \subseteq S,</math> यदि R, S का उपसमुच्चय है, अर्थात सभी के लिए <math>x \in X</math> तथा <math>y \in Y,</math> अगर xRy, तो xSy। यदि R, S में समाहित है और S, R में समाहित है, तो R और S को बराबर लिखा R = S कहा जाता है। यदि R, S में समाहित है, लेकिन S, R में समाहित नहीं है, तो R को कहा जाता है {{em|{{visible anchor|smaller|Smaller relation}}}} S से, लिखा हुआ {{math|''R'' ⊊ ''S''}}. उदाहरण के लिए, [[परिमेय संख्या]]ओं पर संबंध > ≥ से छोटा होता है, और संघटन के बराबर होता है {{math|> ∘ >.}}
+एक  द्वयी संबंध R ओवर समुच्चय X और Y कहा जाता है {{em|{{visible anchor|contained in|Containment of relations}}}} X और Y पर एक संबंध S लिखा है <math>R \subseteq S,</math> यदि R, S का उपसमुच्चय है, अर्थात सभी के लिए <math>x \in X</math> तथा <math>y \in Y,</math> अगर xRy, तो xSy। यदि R, S में समाहित है और S, R में समाहित है, तो R और S को बराबर लिखा R = S कहा जाता है। यदि R, S में समाहित है, लेकिन S, R में समाहित नहीं है, तो R को कहा जाता है {{em|{{visible anchor|smaller|Smaller relation}}}} S से, लिखा हुआ {{math|''R'' ⊊ ''S''}}। उदाहरण के लिए, [[परिमेय संख्या]]ओं पर संबंध > ≥ से छोटा होता है, और संघटन के बराबर होता है {{math|> ∘ >.}}

Anonymous

Search

संबंध (गणित): Difference between revisions

Namespaces

More

Page actions

Revision as of 16:58, 29 November 2022

Contents

परिभाषा

संबंधों के गुण

(विषम) संबंधों के गुण

सजातीय संबंधों पर संचालन

(विषम) संबंधों पर संचालन

उदाहरण

यह भी देखें

टिप्पणियाँ

संदर्भ

ग्रन्थसूची

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

संबंध (गणित): Difference between revisions

Revision as of 16:58, 29 November 2022

परिभाषा

संबंधों के गुण

(विषम) संबंधों के गुण

सजातीय संबंधों पर संचालन

(विषम) संबंधों पर संचालन

उदाहरण

यह भी देखें

टिप्पणियाँ

संदर्भ

ग्रन्थसूची

Navigation

Wiki tools

Page tools

Other projects

Categories