तुल्यता संबंध

गणित में, तुल्यता संबंध एक द्विआधारी संबंध  है जो प्रतिक्रियात्मक,  सममित और  सकर्मक संबंध होता है। ज्यामिति में रेखाखंडों के बीच  समतुल्य संबंध तुल्यता संबंध का एक सामान्य उदाहरण है।

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

संकेतन
साहित्य में दो तत्वों को निर्देशित करने के लिए विभिन्न संकेतन का उपयोग किया जाता है $$a$$ तथा $$b$$ तुल्यता संबंध के एक सेट के बराबर हैं $$R;$$ सबसे आम हैं $$a \sim b$$ तथा $a ≡ b$, जिनका उपयोग तब किया जाता है जब R निहित और भिन्न होता है " a R b,  "a ≡R b", या $${a\mathop{R}b}$$, $$R$$ स्पष्ट रूप से निर्दिष्ट करने के लिए गैर समकक्ष लिखा जा सकता है $a ≁ b$ या $$a \not\equiv b$$.

परिभाषा
समुच्चय $$X$$ पर द्विआधारी संबंध  $$\,\sim\,$$ को तुल्यता संबंध कहा जाता है, अगर यह केवल विचारशील, सममित और संक्रमणीय है। अर्थात सभी के लिए $$a, b,$$ तथा $$c$$ में $$X:$$
 * $$a \sim a$$ (प्रतिवर्त संबंध)।
 * $$a \sim b$$ अगर और केवल अगर $$b \sim a$$ (सममित संबंध)।
 * यदि $$a \sim b$$ तथा $$b \sim c$$ फिर $$a \sim c$$ (सकर्मक संबंध)।

$$X$$ रिश्ते के साथ $$\,\sim\,$$ एक सेटॉइड  कहा जाता है। तुल्यता वर्ग $$a$$ नीचे $$\,\sim,$$ लक्षित $$[a],$$ को इस तरह परिभाषित किया गया है $$[a] = \{x \in X : x \sim a\}.$$

संबंधपरक बीजगणित का उपयोग करते हुए वैकल्पिक परिभाषा
संबंधपरक बीजगणित में, यदि $$R\subseteq X\times Y$$ तथा $$S\subseteq Y\times Z$$ के संबंध हैं, तो  संबंधों की संरचना  को  $$SR\subseteq X\times Z$$ से परिभाषित किया गया है ताकि $$x \, SR \, z$$ अगर और केवल अगर वहाँ एक है $$y\in Y$$ ऐसा है कि $$x \, R \, y$$ तथा $$y \, S \, z$$. यह परिभाषा कार्यात्मक संरचना की परिभाषा का एक सामान्यीकरण है। एक तुल्यता संबंध के परिभाषित गुण $$R$$ एक सेट पर $$X$$ फिर निम्नानुसार सुधार किया जा सकता है


 * $$\operatorname{id} \subseteq R$$. (परावर्तन रिलेशन)। (यहां, आई डी पहचान फलन को $$X$$.से दर्शाता है)
 * $$R=R^{-1}$$ (सममित संबंध)।
 * $$RR\subseteq R$$ (सकर्मक संबंध)।

सरल उदाहरण
सेट पर $$X = \{a, b, c\}$$, सम्बन्ध $$R = \{(a, a), (b, b), (c, c), (b, c), (c, b)\}$$ एक तुल्यता संबंध है। निम्नलिखित समुच्चय इस संबंध के तुल्यता वर्ग हैं$$[a] = \{a\}, ~ [b] = [c] = \{b, c\}.$$

$$R$$ के लिए सभी तुल्यता वर्गों का समुच्चय $$\{\{a\}, \{b, c\}\}.$$है यह समुच्चय $$R$$ के संबंध में समुच्चय $$X$$ का एक विभाजन है।

तुल्यता संबंध
निम्नलिखित संबंध में सभी तुल्यता संबंध हैं
 * संख्याओं के समुच्चय के बराबर है। उदाहरण के लिए, $$\tfrac{1}{2}$$ के बराबर है $$\tfrac{4}{8}.$$
 * सभी लोगों के सेट पर वही जन्मदिन होता है।
 * सभी त्रिभुज (ज्यामिति)  के सेट पर  समान  है।
 * सभी त्रिभुज (ज्यामिति) के सेट पर सर्वांगसमता  है।
 * एक प्राकृतिक संख्या दी गई $$n$$, के अनुरूप है, मॉड्यूलर अंकगणित  $$n$$ पूर्णांकों  पर। * एक फलन को देखते हुए $$f:X \to Y$$, एक ही  छवि (गणित)  के अंतर्गत है $$f$$ के तत्वों के रूप में $$f$$ किसी  फ़ंक्शन का डोमेन  $$X$$. उदाहरण के लिए, $$0$$ तथा $$\pi$$ नीचे एक ही छवि है $$\sin$$, $$0$$
 * वास्तविक संख्याओं के समुच्चय पर समान निरपेक्ष मान होता है
 * सभी कोणों के समुच्चय पर समान कोज्या होती है।

ऐसे संबंध जो तुल्यता नहीं हैं

 * वास्तविक संख्याओं के बीच संबंध स्वतुल्य और सकर्मक है, लेकिन सममित नहीं है। उदाहरण के लिए, 7 ≥ 5 लेकिन 5 ≥ 7 नहीं।
 * संबंध का एक सार्व गुणनखंड 1 से अधिक है, जिसमें प्राकृतिक संख्याओं  के बीच 1 से अधिक, प्रतिवर्ती और सममित है, लेकिन सकर्मक नहीं है। उदाहरण के लिए, प्राकृत संख्या 2 और 6 का एक सार्व गुणनखंड 1 से बड़ा है, और 6 और 3 का उभयनिष्ठ गुणनखंड 1 से बड़ा है, लेकिन 2 और 3 का उभयनिष्ठ गुणनखंड 1 से बड़ा नहीं है।
 * एक समुच्चय X पर रिक्त संबंध R इस प्रकार परिभाषित किया गया है कि एआरबी कभी भी सत्य नहीं है। रिक्त रूप से सत्य सममित और संक्रमणीय है, चूँकि, यह परावर्तक नहीं है जब तक कि एक्स स्वयं खाली न हो।
 * वास्तविक संख्याओं के बीच संबंध लगभग बराबर है, लेकिन तुल्यता संबंध को सटीक रूप से परिभाषित नहीं किया है, क्योंकि परावर्तक और सममित होने के बावजूद, यह सकर्मक नहीं है, क्योंकि कई छोटे परिवर्तन बड़ा परिवर्तन बनने के लिए इकट्ठा हो सकते हैं। चूँकि, यदि सन्निकटन को विषम रूप से परिभाषित किया गया है, जैसा कि उदाहरण के लिए दो फलन f और g किसी बिंदु के पास लगभग बराबर हैं यदि उस बिंदु पर f - g की सीमा 0 है, तो यह एक तुल्यता संबंध को परिभाषित करता है।

अन्य संबंधों से संबंध

 * एक आंशिक क्रम एक ऐसा संबंध है जो प्रतिवर्त, प्रतिसममित और सकर्मक है।
 * समानता तुल्यता संबंध और आंशिक क्रम दोनों है। समानता भी सेट पर एकमात्र संबंध है जो प्रतिक्रियात्मक सममित और प्रतिसममित होती है। बीजगणितीय व्यंजकों में समान चरों को एक दूसरे के स्थान पर प्रतिस्थापित किया जा सकता है, ऐसी सुविधा जो तुल्यता संबंधित चरों के लिए उपलब्ध नहीं है। तुल्यता वर्ग तुल्यता संबंध को एक दूसरे के लिए स्थानापन्न कर सकते हैं लेकिन एक वर्ग के भीतर अलग अलग नहीं।
 * एक पूर्णतः आंशिक क्रम अपरिवर्तनीय, संक्रमणीय, और असममित होते है।
 * एक आंशिक तुल्यता संबंध  सकर्मक और सममित होते है। ऐसा संबंध स्वतुल्य होता है अगर और केवल यह  सम्पूर्ण संबंध  है, अर्थात, अगर सभी के लिए $$a,$$ कुछ मौजूद है $$b \text{ इस तरह से} a \sim b.$$ इसलिए एक तुल्यता संबंध को वैकल्पिक रूप से एक सममित, सकर्मक और कुल संबंध के रूप में परिभाषित किया जा सकता है।
 * एक त्रिगुट तुल्यता संबंध  सामान्य (बाइनरी) तुल्यता संबंध के लिए एक त्रिगुट अनुरूप है।
 * रिफ्लेक्सिव और सममित संबंध एक निर्भरता संबंध है यदि परिमित है और सहिष्णुता संबंध अनंत होते है
 * एक अग्रिम क्रम प्रतिवर्ती और सकर्मक है।
 * एक सर्वांगसमता संबंध  एक तुल्यता संबंध है जिसका डोमेन $$X$$  बीजीय संरचना  के लिए अंतर्निहित समुच्चय भी है, और जो अतिरिक्त संरचना का सम्मान करता है। सामान्तया, सर्वांगसमता संबंध समरूपता के  कर्नेल (बीजगणित)  की भूमिका निभाते हैं, और सर्वांगसम संबंध द्वारा संरचना का भागफल बनाया जा सकता है। कई महत्वपूर्ण मामलों में, सर्वांगसमता संबंधों का एक वैकल्पिक प्रतिनिधित्व होता है और संरचना को उपसंरचना के रूप में उसे परिभाषित किया गया है (उदाहरण के लिए, समूहों पर सर्वांगसम संबंध  सामान्य उपसमूहों  के अनुरूप होते हैं)।
 * कोई भी तुल्यता संबंध एक पृथकता संबंध का निषेध है, चूँकि विलोम कथन केवल शास्त्रीय गणित  ( रचनात्मक गणित ) के विपरीत होता है, क्योंकि यह बहिष्कृत मध्य नियम के बराबर है।
 * प्रत्येक संबंध जो प्रतिवर्त बाएँ या दाएँ दोनों है और यूक्लिडियन एक तुल्यता संबंध को प्रदर्शित करती है।

एक तुल्यता संबंध के तहत अच्छी तरह से परिभाषित
यदि $$\,\sim\,$$ पर एक तुल्यता संबंध है $$X,$$ तथा $$P(x)$$ के तत्वों की एक सामग्री $$X,$$है और यदि ऐसा कि $$x \sim y,$$ तो $$P(x)$$ सच है यदि $$P(y)$$ सत्य है, तो सामग्री $$P$$ अच्छी तरह से परिभाषित  है या   संबंध $$\,\sim.$$ के तहत एक वर्ग अपरिवर्तनीय होता है

एक नियमित विशेष में वस्तुस्थिति $$f$$ तब होती है, जब $$X$$ के दूसरे समुच्चय में $$Y;$$ फलन होता है, यदि $$x_1 \sim x_2$$ का तात्पर्य $$f\left(x_1\right) = f\left(x_2\right)$$ है और $$f$$ को   कहा जाता है $$\,\sim,$$ एक वर्ग अपरिवर्तनीय के तहत है$$\,\sim,$$ या साधारण अपरिवर्तनीय के अंतर्गत है $$\,\sim.$$ इस प्रकार का उदाहरण परिमित समूहों के चरित्र सिद्धांत में होता है। फलन $$f$$ के साथ आगामी स्थिति,को क्रम विनिमेय त्रिभुज द्वारा व्यक्त किया जाता है।  अपरिवर्तनीय (गणित) भी देखें। कुछ लेखक संगत का उपयोग करते हैं $$\,\sim$$या सिर्फ सम्मान $$\,\sim$$अपरिवर्तनीय के जगह है  $$\,\sim$$.

सामान्तया, फ़ंक्शन समकक्ष तर्कों को प्रतिचित्र कर सकता है (एक तुल्यता संबंध के तहत $$\,\sim_A$$) समकक्ष मूल्यों के लिए (एक तुल्यता संबंध के तहत $$\,\sim_B$$) इस तरह के एक फलन को आकृति विज्ञान के रूप में जाना जाता है $$\,\sim_A$$ प्रति $$\,\sim_B.$$

तुल्यता वर्ग, भागफल सेट, विभाजन
ये $$a, b \in X.$$ कुछ परिभाषाएँ:

तुल्यता वर्ग
X का एक उपसमुच्चय Y ऐसा है कि $$a \sim b$$ Y में सभी a और b के लिए धारण करता है, और Y में a के लिए और Y के बाहर b के लिए कभी नहीं, ~ द्वारा X का 'तुल्यता वर्ग' कहलाता है। ये$$[a] := \{x \in X : a \sim x\}$$ उस तुल्यता वर्ग को निरूपित करती है जो a संबंधित है। और एक दूसरे के तुल्य X के सभी अवयव भी समान तुल्यता वर्ग के अवयव होते हैं।

भागफल सेट
X के सभी तुल्यता वर्गों का समुच्चय ~, से निरूपित है $$X / \mathord{\sim} := \{[x] : x \in X\},$$ ~ X का भागफल समुच्चय है। यदि X एक सांस्थितिक समष्टि है, तो बदलने का एक प्राकृतिक तरीका है $$X / \sim$$ सांस्थितिक समष्टि में; विवरण के लिए  भागफल स्थान (सांस्थितिक )  को देखें।

प्रक्षेपण
प्रक्षेपण का $$\,\sim\,$$ फलन है, $$\pi : X \to X/\mathord{\sim}$$ द्वारा परिभाषित $$\pi(x) = [x]$$ जो के तत्वों को छायाचित्र करता है $$X$$ द्वारा संबंधित तुल्यता वर्गों में $$\,\sim.$$ है

प्रक्षेपण पर प्रमेय, फलन से $$f : X \to B$$ ऐसा हो कि अगर $$a \sim b$$ फिर $$f(a) = f(b).$$ ये एक विशिष्ट फलन है $$g : X / \sim \to B$$ ऐसा है कि $$f = g \pi.$$ यदि $$f$$ एक प्रक्षेपण है और $$a \sim b \text{ if and only if } f(a) = f(b),$$ फिर $$g$$ एक आपत्ति है।

तुल्यता कर्नेल
किसी फ़ंक्शन का तुल्यता कर्नेल $$f$$ तुल्यता संबंध है ~ परिभाषित $$x \sim y \text{ if and only if } f(x) = f(y).$$ एक इंजेक्शन का तुल्यता कर्नेल पहचान संबंध है।

विभाजन
X का विभाजन X के गैर-रिक्त उपसमुच्चय का एक समुच्चय P होता है, जैसे कि X का प्रत्येक अवयव P के एकल अवयव का एक अवयव है। P का प्रत्येक अवयव विभाजन की कोशिका है। इसके अलावा, P के अवयव जोड़ीवार असंबद्ध हैं और उनका संघ सेट थ्योरी X है।

विभाजनों की गणना
मान लीजिए X एक परिमित समुच्चय है जिसमें n तत्व हैं। चूंकि एक्स पर प्रत्येक तुल्यता संबंध एक्स के विभाजन से मेल खाता है, और इसके विपरीत, एक्स पर तुल्यता संबंधों की संख्या एक्स के अलग-अलग विभाजनों की संख्या के बराबर होती है, जो कि एनटी बेल नंबर Bn है।
 * $$B_n = \frac{1}{e} \sum_{k=0}^\infty \frac{k^n}{k!} \quad$$ (डोबिंस्की सूत्र)।

तुल्यता संबंधों की मौलिक प्रमेय
एक प्रमुख परिणाम तुल्यता संबंधों और विभाजनों को जोड़ता है, दोनों ही मामलों में, X के विभाजन की कोशिकाएँ X के ~ द्वारा तुल्यता वर्ग हैं। चूंकि एक्स का प्रत्येक तत्व एक्स के किसी भी विभाजन के अद्वितीय सेल से संबंधित है, और चूंकि विभाजन के प्रत्येक सेल एक्स के समकक्ष वर्ग ~ ~ के समान है, एक्स का प्रत्येक तत्व एक्स के अद्वितीय समकक्ष वर्ग ~ के अंतर्गत आता है। इस प्रकार X पर सभी तुल्यता संबंधों के समुच्चय और X के सभी विभाजनों के समुच्चय के बीच एक स्वाभाविक विभाजन होता है।
 * एक सेट एक्स विभाजन एक्स पर तुल्यता संबंध ~ है।
 * इसके विपरीत, X के किसी भी विभाजन के संगत, X पर एक तुल्यता संबंध होती है।

तुल्यता संबंधों की तुलना
यदि $$\sim$$ तथा $$\approx$$ एक ही सेट पर दो तुल्यता संबंध हैं $$S$$, तथा $$a \sim b$$ का तात्पर्य $$a \approx b$$ सभी के लिए $$a, b \in S,$$ फिर $$\approx$$ की तुलना में गहरा संबंध कहा जाता है $$\sim$$, तथा $$\sim$$ से बेहतर रिश्ता है $$\approx$$. समान रूप से,
 * $$\sim$$ से बेहतर है $$\approx$$ अगर हर तुल्यता वर्ग $$\sim$$ तुल्यता वर्ग का एक उपसमुच्चय है $$\approx$$, और इस प्रकार प्रत्येक तुल्यता वर्ग $$\approx$$ तुल्यता वर्गों का एक संघ है $$\sim$$.
 * $$\sim$$ से बेहतर है $$\approx$$ यदि विभाजन द्वारा बनाया गया है $$\sim$$ बनाए गए विभाजन का परिशोधन है $$\approx$$.

समानता तुल्यता संबंध किसी भी सेट पर सबसे अच्छा तुल्यता संबंध है, जबकि सार्वभौमिक संबंध, जो तत्वों के सभी जोड़े से संबंधित है, सबसे स्थूल है।

सम्बन्ध$$\sim$$ से बेहतर है $$\approx$$एक निश्चित सेट पर सभी तुल्यता संबंधों के संग्रह पर ही आंशिक क्रम संबंध है, जो संग्रह को एक ज्यामितीय जाली  का बनाता है।

तुल्यता संबंध उत्पन्न करना

 * किसी भी सेट को देखते हुए $$X,$$ सेट पर एक तुल्यता संबंध $$[X \to X]$$ सभी कार्यों का $$X \to X$$ निम्नानुसार प्राप्त किया जा सकता है। दो कार्यों को समतुल्य माना जाता है जब उनके संबंधित बिंदुओं के सेट में समान कार्डिनैलिटी होती है, जो क्रम परिवर्तन में लंबाई के चक्रों के अनुरूप होती है।
 * एक तुल्यता संबंध $$\,\sim\,$$ पर $$X$$ इसके आक्षेप प्रक्षेपण का तुल्यता कर्नेल है $$\pi : X \to X / \sim.$$ इसके विपरीत, सेट के बीच कोई भी प्रक्षेपण अपने डोमेन पर एक विभाजन को निर्धारित करता है, कोडोमेन  में  सिंगलटन (गणित)  के  पूर्व छवि  का सेट। इस प्रकार तुल्यता संबंध खत्म हो गयी है $$X,$$ का एक विभाजन $$X,$$ और एक प्रक्षेपण जिसका डोमेन है $$X,$$ एक ही चीज़ को निर्दिष्ट करने के तीन समान तरीके हैं।
 * X पर तुल्यता संबंधों के किसी भी संग्रह का प्रतिच्छेदन द्विआधारी संबंधों के सबसेट  के रूप में देखा जाता है $$X \times X$$ भी एक तुल्यता संबंध है। यह एक तुल्यता संबंध उत्पन्न करने का एक सुविधाजनक तरीका देता है, X पर किसी भी द्विआधारी संबंध R को देखते हुए, आर आर द्वारा उत्पन्न सभी तुल्यता संबंधों का प्रतिच्छेदन R है जिसे सबसे छोटा तुल्यता संबंध भी कहा जाता है। सामान्तया, R तुल्यता संबंध उत्पन्न करता है
 * $$a \sim b$$ अगर कोई प्राकृतिक संख्या  मौजूद है $$n$$ और तत्व $$x_0, \ldots, x_n \in X$$ ऐसा है कि $$a = x_0$$, $$b = x_n$$, तथा $$x_{i-1} \mathrel{R} x_i$$ या $$x_i \mathrel{R} x_{i-1}$$, के लिये $$i = 1, \ldots, n.$$
 * इस तरह से उत्पन्न तुल्यता संबंध तुच्छ हो सकता है। उदाहरण के लिए, X पर किसी भी कुल आदेश  द्वारा उत्पन्न तुल्यता संबंध में ठीक एक तुल्यता वर्ग, X ही है।


 * तुल्यता संबंध चीजों को एक साथ जोड़कर नए स्थान का निर्माण कर सकते हैं। मान लीजिए X इकाई कार्तीय वर्ग  है $$[0, 1] \times [0, 1],$$ और जाने ~ परिभाषित एक्स पर समकक्ष संबंध बनें $$(a, 0) \sim (a, 1)$$ सभी के लिए $$a \in [0, 1]$$ तथा $$(0, b) \sim (1, b)$$ सभी के लिए $$b \in [0, 1],$$ फिर भागफल स्थान,$$X / \sim$$ कागज का एक चौकोर टुकड़ा लें, एक सिलेंडर बनाने के लिए ऊपरी और निचले किनारे को एक साथ मोड़ें और गोंद करें, फिर परिणामी सिलेंडर को मोड़ें ताकि इसके दो खुले सिरे एक साथ चिपक जाएं, जिसके परिणामस्वरूप एक टोरस हो।

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

समूह सिद्धांत
जिस प्रकार आदेश संबंध क्रमित समुच्चयों में आधारित होते हैं, समुच्चय जोड़ीदार सर्वोच्च और न्यूनतम के अंतर्गत बंद होते हैं, तुल्यता संबंध विभाजित समुच्चयों में आधारित होते हैं, जो विभाजन संरचना को संरक्षित करने वाले आक्षेपों के अंतर्गत बंद किए गए समुच्चय होते हैं। चूँकि इस तरह के सभी आक्षेप एक तुल्यता वर्ग को स्वयं पर अंकित करते हैं, ऐसे आक्षेपों को क्रमचय के रूप में भी जाना जाता है। इसलिए क्रमचय समूह रूपांतरण समूहों  के रूप में भी जाना जाता है और कक्षा की संबंधित धारणा तुल्यता संबंधों की गणितीय संरचना पर प्रकाश डालती है

मान लीजिए ~ कुछ गैर-रिक्त समुच्चय A पर एक तुल्यता संबंध को दर्शाता है, जिसे ब्रह्मांड (गणित)  या अंतर्निहित समुच्चय कहा जाता है। मान लीजिए G, A के ऊपर विशेषण फलन के समुच्चय को दर्शाता है जो A की विभाजन संरचना को संरक्षित करता है, जिसका अर्थ है कि सभी के लिए $$x \in A$$ तथा $$g \in G, g(x) \in [x].$$ फिर निम्नलिखित तीन जुड़े प्रमेय धारण करते हैं: संक्षेप में, A के ऊपर एक तुल्यता संबंध दिए जाने पर, A के ऊपर एक परिवर्तन समूह  G मौजूद होता है, जिसकी कक्षाएँ ~ के अंतर्गत A की तुल्यता वर्ग होती हैं।
 * ~ विभाजन ए को तुल्यता वर्गों में। (यह है, उपर्युक्त);
 * ए के विभाजन को देखते हुए, जी रचना के तहत एक परिवर्तन समूह है, जिसकी कक्षाएँ विभाजन के एक समूह के विभाजन हैं
 * A के ऊपर एक परिवर्तन समूह G को देखते हुए, A के ऊपर एक तुल्यता संबंध मौजूद है, जिसकी तुल्यता वर्ग G की कक्षाएँ हैं।

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

सामान्य रूप से समूहों की ओर बढ़ते हुए, मान लीजिए कि H किसी समूह (गणित)  G का एक  उपसमूह  है। मान लीजिए ~ G पर एक तुल्यता संबंध है, जैसे कि $$a \sim b \text{ if and only if } a b^{-1} \in H.$$ तुल्यता वर्ग ~ जिन्हें G पर H की समूह क्रिया (गणित) की कक्षाएँ भी कहा जाता है, जी में H के दाएँ ' सह समुच्चय ' हैं। a और b को परस्पर बदलने से बाएँ कोसेट प्राप्त होते हैं।

संबंधित सोच रोसेन में पाई जा सकती है (2008: अध्याय 10)।

श्रेणियां और समूह
मान लीजिए कि G एक समुच्चय है और मान लीजिए कि G के ऊपर एक तुल्यता संबंध है। तब हम इस तुल्यता संबंध को निरूपित करने वाला एक वर्गमूल इस प्रकार बना सकते हैं। वस्तुएँ G के तत्व हैं, और G के किन्हीं दो तत्वों x और y के लिए, x से y तक एक अद्वितीय रूपवाद मौजूद है यदि और केवल यदि $$x \sim y.$$

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

जाली
किसी भी समुच्चय X पर तुल्यता संबंध, जब समुच्चय समावेशन द्वारा आदेशित किया जाता है, एक पूर्ण जालक बनाता है, जिसे परिपाटी द्वारा 'Con' X कहा जाता है। कैनोनिकल छायाचित्र गणित 'केर' एक्स,एक्स मोनोइड से संबंधित है X^X सभी कार्यों के एक्स 'केर' विशेषण है लेकिन इंजेक्शन  नहीं है। औपचारिक रूप से कम, X पर तुल्यता संबंध 'केर', प्रत्येक फलन f: X→X को उसके कर्नेल (बीजगणित) 'केर' f पर ले जाता है। इसी तरह, 'केर' X^X पर एक तुल्यता संबंध है।

तुल्यता संबंध और गणितीय तर्क
तुल्यता संबंध उदाहरणों या प्रति-उदाहरणों का एक तैयार स्रोत है। उदाहरण के लिए, ठीक दो अनंत तुल्यता वर्गों के साथ एक तुल्यता संबंध एक सिद्धांत का एक आसान उदाहरण है जो -मॉर्ले की श्रेणीबद्धता प्रमेय है, लेकिन किसी भी बड़ी कार्डिनल संख्या के लिए श्रेणीबद्ध नहीं है।

मॉडल सिद्धांत का एक निहितार्थ यह है कि एक संबंध को परिभाषित करने वाले गुणों को एक दूसरे से स्वतंत्र साबित किया जा सकता है और इसलिए परिभाषा के आवश्यक भाग में यदि और केवल अगर, प्रत्येक संपत्ति के लिए, संबंधों के उदाहरण पाए जा सकते हैं जो संतुष्ट करते हुए दी गई संपत्ति को संतुष्ट नहीं करते हैं अन्य सभी गुण। इसलिए तुल्यता संबंधों के तीन परिभाषित गुणों को निम्नलिखित तीन उदाहरणों से परस्पर स्वतंत्र सिद्ध किया जा सकता है
 * रिफ्लेक्सिव और सकर्मक संबंध ≤ 'एन' पर या कोई पूर्व-आदेश;
 * सममित और सकर्मक 'N' पर संबंध R, जिसे aRb ab ≠ 0 के रूप में परिभाषित किया गया है। या कोई आंशिक तुल्यता संबंध से है
 * परावर्तक और सममित 'Z' पर संबंध R, जिसे aRb a - b के रूप में परिभाषित किया गया है, 2 या 3 में से कम से कम एक या किसी निर्भरता संबंध से विभाज्य है।

प्रथम-क्रम तर्क में निश्चित गुण जो एक तुल्यता संबंध में सम्मिलित  हो सकते हैं या नहीं भी सम्मिलित हो सकते हैं
 * तुल्यता वर्गों की संख्या परिमित या अनंत है।
 * तुल्यता वर्गों की संख्या (परिमित) प्राकृतिक संख्या n के बराबर होती है।
 * सभी तुल्यता वर्गों में अनंत कार्डिनैलिटी होती है।
 * प्रत्येक तुल्यता वर्ग में तत्वों की संख्या प्राकृत संख्या n है।

संदर्भ

 * Brown, Ronald, 2006. Topology and Groupoids. Booksurge LLC. ISBN 1-4196-2722-8.
 * Castellani, E., 2003, "Symmetry and equivalence" in Brading, Katherine, and E. Castellani, eds., Symmetries in Physics: Philosophical Reflections. Cambridge Univ. Press: 422–433.
 * Robert Dilworth and Crawley, Peter, 1973. Algebraic Theory of Lattices. Prentice Hall. Chpt. 12 discusses how equivalence relations arise in lattice theory.
 * Higgins, P.J., 1971. Categories and groupoids. Van Nostrand. Downloadable since 2005 as a TAC Reprint.
 * John Randolph Lucas, 1973. A Treatise on Time and Space. London: Methuen. Section 31.
 * Rosen, Joseph (2008) Symmetry Rules: How Science and Nature are Founded on Symmetry. Springer-Verlag. Mostly chapters. 9,10.
 * Raymond Wilder (1965) Introduction to the Foundations of Mathematics 2nd edition, Chapter 2-8: Axioms defining equivalence, pp 48–50, John Wiley & Sons.

इस पृष्ठ में अनुपलब्ध आंतरिक लिंक की सूची

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

बाहरी संबंध

 * Bogomolny, A., "Equivalence Relationship" cut-the-knot. Accessed 1 September 2009
 * Equivalence relation at PlanetMath
 * Equivalence relation at PlanetMath