{"id":3054,"date":"2025-06-07T09:03:53","date_gmt":"2025-06-07T09:03:53","guid":{"rendered":"https:\/\/diznr.com\/?p=3054"},"modified":"2025-06-07T09:03:53","modified_gmt":"2025-06-07T09:03:53","slug":"discrete-mathematics-previous-year-gate-2021-equivalence-relation-let-r-and-s-be-any-equivalence-two","status":"publish","type":"post","link":"https:\/\/www.reilsolar.com\/pdf\/discrete-mathematics-previous-year-gate-2021-equivalence-relation-let-r-and-s-be-any-equivalence-two\/","title":{"rendered":"Discrete Mathematics previous year-GATE 2025  Equivalence relation Let R and S be any two equivalence"},"content":{"rendered":"<p>Discrete Mathematics previous year-GATE 2025 Equivalence relation Let R and S be any two equivalence<\/p>\n<p data-start=\"0\" data-end=\"247\">In the context of GATE (Graduate Aptitude Test in Engineering) examinations, understanding the properties of equivalence relations is crucial. An <strong data-start=\"146\" data-end=\"170\">equivalence relation<\/strong> on a set <span class=\"katex\"><span class=\"katex-mathml\">AA<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span> is a relation that is reflexive, symmetric, and transitive.<\/p>\n<p data-start=\"249\" data-end=\"293\"><strong data-start=\"249\" data-end=\"293\">Key Properties of Equivalence Relations:<\/strong><\/p>\n<ol data-start=\"295\" data-end=\"820\">\n<li data-start=\"295\" data-end=\"393\">\n<p data-start=\"298\" data-end=\"393\"><strong data-start=\"298\" data-end=\"314\">Reflexivity:<\/strong> Every element is related to itself. For all <span class=\"katex\"><span class=\"katex-mathml\">a\u2208Aa \\in A<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">a<\/span><span class=\"mrel\">\u2208<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span>, <span class=\"katex\"><span class=\"katex-mathml\">(a,a)\u2208R(a, a) \\in R<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\">a<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">a<\/span><span class=\"mclose\">)<\/span><span class=\"mrel\">\u2208<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><\/span><\/span><\/span>.<\/p>\n<\/li>\n<li data-start=\"395\" data-end=\"582\">\n<p data-start=\"398\" data-end=\"582\"><strong data-start=\"398\" data-end=\"411\">Symmetry:<\/strong> If an element <span class=\"katex\"><span class=\"katex-mathml\">aa<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">a<\/span><\/span><\/span><\/span> is related to an element <span class=\"katex\"><span class=\"katex-mathml\">bb<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">b<\/span><\/span><\/span><\/span>, then <span class=\"katex\"><span class=\"katex-mathml\">bb<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">b<\/span><\/span><\/span><\/span> is also related to <span class=\"katex\"><span class=\"katex-mathml\">aa<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">a<\/span><\/span><\/span><\/span>. For all <span class=\"katex\"><span class=\"katex-mathml\">a,b\u2208Aa, b \\in A<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">a<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">b<\/span><span class=\"mrel\">\u2208<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span>, if <span class=\"katex\"><span class=\"katex-mathml\">(a,b)\u2208R(a, b) \\in R<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\">a<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">b<\/span><span class=\"mclose\">)<\/span><span class=\"mrel\">\u2208<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><\/span><\/span><\/span>, then <span class=\"katex\"><span class=\"katex-mathml\">(b,a)\u2208R(b, a) \\in R<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\">b<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">a<\/span><span class=\"mclose\">)<\/span><span class=\"mrel\">\u2208<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><\/span><\/span><\/span>.<\/p>\n<\/li>\n<li data-start=\"584\" data-end=\"820\">\n<p data-start=\"587\" data-end=\"820\"><strong data-start=\"587\" data-end=\"604\">Transitivity:<\/strong> If an element <span class=\"katex\"><span class=\"katex-mathml\">aa<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">a<\/span><\/span><\/span><\/span> is related to <span class=\"katex\"><span class=\"katex-mathml\">bb<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">b<\/span><\/span><\/span><\/span>, and <span class=\"katex\"><span class=\"katex-mathml\">bb<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">b<\/span><\/span><\/span><\/span> is related to <span class=\"katex\"><span class=\"katex-mathml\">cc<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">c<\/span><\/span><\/span><\/span>, then <span class=\"katex\"><span class=\"katex-mathml\">aa<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">a<\/span><\/span><\/span><\/span> is related to <span class=\"katex\"><span class=\"katex-mathml\">cc<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">c<\/span><\/span><\/span><\/span>. For all <span class=\"katex\"><span class=\"katex-mathml\">a,b,c\u2208Aa, b, c \\in A<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">a<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">b<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">c<\/span><span class=\"mrel\">\u2208<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span>, if <span class=\"katex\"><span class=\"katex-mathml\">(a,b)\u2208R(a, b) \\in R<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\">a<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">b<\/span><span class=\"mclose\">)<\/span><span class=\"mrel\">\u2208<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><\/span><\/span><\/span> and <span class=\"katex\"><span class=\"katex-mathml\">(b,c)\u2208R(b, c) \\in R<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\">b<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">c<\/span><span class=\"mclose\">)<\/span><span class=\"mrel\">\u2208<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><\/span><\/span><\/span>, then <span class=\"katex\"><span class=\"katex-mathml\">(a,c)\u2208R(a, c) \\in R<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mopen\">(<\/span><span class=\"mord mathnormal\">a<\/span><span class=\"mpunct\">,<\/span><span class=\"mord mathnormal\">c<\/span><span class=\"mclose\">)<\/span><span class=\"mrel\">\u2208<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><\/span><\/span><\/span>.<\/p>\n<\/li>\n<\/ol>\n<p data-start=\"822\" data-end=\"864\"><strong data-start=\"822\" data-end=\"864\">Intersection of Equivalence Relations:<\/strong><\/p>\n<p data-start=\"866\" data-end=\"1130\">When considering two equivalence relations <span class=\"katex\"><span class=\"katex-mathml\">RR<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><\/span><\/span><\/span> and <span class=\"katex\"><span class=\"katex-mathml\">SS<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> on a set <span class=\"katex\"><span class=\"katex-mathml\">AA<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span>, their <strong data-start=\"953\" data-end=\"969\">intersection<\/strong> <span class=\"katex\"><span class=\"katex-mathml\">R\u2229SR \\cap S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> is also an equivalence relation. This is because the intersection of two reflexive, symmetric, and transitive relations retains these properties.<\/p>\n<p data-start=\"1132\" data-end=\"1167\"><strong data-start=\"1132\" data-end=\"1167\">Union of Equivalence Relations:<\/strong><\/p>\n<p data-start=\"1169\" data-end=\"1403\">However, the <strong data-start=\"1182\" data-end=\"1191\">union<\/strong> <span class=\"katex\"><span class=\"katex-mathml\">R\u222aSR \\cup S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u222a<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> of two equivalence relations is <strong data-start=\"1239\" data-end=\"1258\">not necessarily<\/strong> an equivalence relation. While the union of two reflexive and symmetric relations remains reflexive and symmetric, it may fail to be transitive.<\/p>\n<p data-start=\"1405\" data-end=\"1447\"><strong data-start=\"1405\" data-end=\"1447\">Example Illustrating Non-Transitivity:<\/strong><\/p>\n<p data-start=\"1449\" data-end=\"1537\">Consider a set <span class=\"katex\"><span class=\"katex-mathml\">A={1,2,3}A = \\{1, 2, 3\\}<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">A<\/span><span class=\"mrel\">=<\/span><\/span><span class=\"base\"><span class=\"mopen\">{<\/span><span class=\"mord\">1<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">2<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">3<\/span><span class=\"mclose\">}<\/span><\/span><\/span><\/span> with two equivalence relations <span class=\"katex\"><span class=\"katex-mathml\">RR<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><\/span><\/span><\/span> and <span class=\"katex\"><span class=\"katex-mathml\">SS<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span>:<\/p>\n<ul data-start=\"1539\" data-end=\"1601\">\n<li data-start=\"1539\" data-end=\"1569\">\n<p data-start=\"1541\" data-end=\"1569\"><span class=\"katex\"><span class=\"katex-mathml\">R={(1,2),(2,1)}R = \\{(1, 2), (2, 1)\\}<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mrel\">=<\/span><\/span><span class=\"base\"><span class=\"mopen\">{(<\/span><span class=\"mord\">1<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">2<\/span><span class=\"mclose\">)<\/span><span class=\"mpunct\">,<\/span><span class=\"mopen\">(<\/span><span class=\"mord\">2<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">1<\/span><span class=\"mclose\">)}<\/span><\/span><\/span><\/span><\/p>\n<\/li>\n<li data-start=\"1571\" data-end=\"1601\">\n<p data-start=\"1573\" data-end=\"1601\"><span class=\"katex\"><span class=\"katex-mathml\">S={(2,3),(3,2)}S = \\{(2, 3), (3, 2)\\}<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><span class=\"mrel\">=<\/span><\/span><span class=\"base\"><span class=\"mopen\">{(<\/span><span class=\"mord\">2<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">3<\/span><span class=\"mclose\">)<\/span><span class=\"mpunct\">,<\/span><span class=\"mopen\">(<\/span><span class=\"mord\">3<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">2<\/span><span class=\"mclose\">)}<\/span><\/span><\/span><\/span><\/p>\n<\/li>\n<\/ul>\n<p data-start=\"1603\" data-end=\"1618\">Their union is:<\/p>\n<p data-start=\"1620\" data-end=\"1671\"><span class=\"katex\"><span class=\"katex-mathml\">R\u222aS={(1,2),(2,1),(2,3),(3,2)}R \\cup S = \\{(1, 2), (2, 1), (2, 3), (3, 2)\\}<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u222a<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><span class=\"mrel\">=<\/span><\/span><span class=\"base\"><span class=\"mopen\">{(<\/span><span class=\"mord\">1<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">2<\/span><span class=\"mclose\">)<\/span><span class=\"mpunct\">,<\/span><span class=\"mopen\">(<\/span><span class=\"mord\">2<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">1<\/span><span class=\"mclose\">)<\/span><span class=\"mpunct\">,<\/span><span class=\"mopen\">(<\/span><span class=\"mord\">2<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">3<\/span><span class=\"mclose\">)<\/span><span class=\"mpunct\">,<\/span><span class=\"mopen\">(<\/span><span class=\"mord\">3<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">2<\/span><span class=\"mclose\">)}<\/span><\/span><\/span><\/span><\/p>\n<p data-start=\"1673\" data-end=\"1865\">In this union, we have <span class=\"katex\"><span class=\"katex-mathml\">(1,2)\u2208R\u222aS(1, 2) \\in R \\cup S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mopen\">(<\/span><span class=\"mord\">1<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">2<\/span><span class=\"mclose\">)<\/span><span class=\"mrel\">\u2208<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u222a<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> and <span class=\"katex\"><span class=\"katex-mathml\">(2,3)\u2208R\u222aS(2, 3) \\in R \\cup S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mopen\">(<\/span><span class=\"mord\">2<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">3<\/span><span class=\"mclose\">)<\/span><span class=\"mrel\">\u2208<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u222a<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span>, but <span class=\"katex\"><span class=\"katex-mathml\">(1,3)\u2209R\u222aS(1, 3) \\notin R \\cup S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mopen\">(<\/span><span class=\"mord\">1<\/span><span class=\"mpunct\">,<\/span><span class=\"mord\">3<\/span><span class=\"mclose\">)<\/span><span class=\"mrel\"><span class=\"mord\">\u2208<\/span><span class=\"mord vbox\"><span class=\"thinbox\"><span class=\"llap\"><span class=\"inner\"><span class=\"mord\">\/<\/span><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u222a<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span>. This lack of transitivity means <span class=\"katex\"><span class=\"katex-mathml\">R\u222aSR \\cup S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u222a<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> is not an equivalence relation.<\/p>\n<p data-start=\"1867\" data-end=\"1896\"><strong data-start=\"1867\" data-end=\"1896\">GATE Examination Insight:<\/strong><\/p>\n<p data-start=\"1898\" data-end=\"1939\">A relevant GATE question from 2005 asked:<\/p>\n<p data-start=\"1941\" data-end=\"2074\">*&#8221;Let <span class=\"katex\"><span class=\"katex-mathml\">RR<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><\/span><\/span><\/span> and <span class=\"katex\"><span class=\"katex-mathml\">SS<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> be any two equivalence relations on a non-empty set <span class=\"katex\"><span class=\"katex-mathml\">AA<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span>. Which one of the following statements is TRUE?<\/p>\n<p data-start=\"2076\" data-end=\"2144\">A. <span class=\"katex\"><span class=\"katex-mathml\">R\u222aSR \\cup S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u222a<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> and <span class=\"katex\"><span class=\"katex-mathml\">R\u2229SR \\cap S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> are both equivalence relations.<\/p>\n<p data-start=\"2146\" data-end=\"2191\">B. <span class=\"katex\"><span class=\"katex-mathml\">R\u222aSR \\cup S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u222a<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> is an equivalence relation.<\/p>\n<p data-start=\"2193\" data-end=\"2238\">C. <span class=\"katex\"><span class=\"katex-mathml\">R\u2229SR \\cap S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> is an equivalence relation.<\/p>\n<p data-start=\"2240\" data-end=\"2314\">D. Neither <span class=\"katex\"><span class=\"katex-mathml\">R\u222aSR \\cup S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u222a<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> nor <span class=\"katex\"><span class=\"katex-mathml\">R\u2229SR \\cap S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> is an equivalence relation.&#8221;*<\/p>\n<p data-start=\"2316\" data-end=\"2425\">The correct answer is <strong data-start=\"2338\" data-end=\"2343\">C<\/strong>: <span class=\"katex\"><span class=\"katex-mathml\">R\u2229SR \\cap S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> is an equivalence relation.<\/p>\n<p data-start=\"2427\" data-end=\"2442\"><strong data-start=\"2427\" data-end=\"2442\">Conclusion:<\/strong><\/p>\n<p data-start=\"2444\" data-end=\"2761\">Understanding the behavior of unions and intersections of equivalence relations is essential for discrete mathematics and examinations like GATE. While intersections of equivalence relations remain equivalence relations, unions do not necessarily preserve the transitivity property required for equivalence relations.<\/p>\n<h3><a href=\"https:\/\/www.math.cmu.edu\/~mradclif\/teaching\/127S19\/Notes\/EquivalenceRelations.pdf\" target=\"_blank\" rel=\"noopener\">Discrete Mathematics previous year-GATE 2025 Equivalence relation Let R and S be any two equivalence<\/a><\/h3>\n<div class=\"kb0PBd A9Y9g jGGQ5e\" data-snf=\"x5WNvb\" data-snhf=\"0\">\n<div class=\"yuRUbf\">\n<div class=\"b8lM7\">\n<h3 class=\"LC20lb MBeuO DKV0Md\"><a href=\"https:\/\/www2.cs.uh.edu\/~arjun\/courses\/ds\/DiscMaths4CompSc.pdf\" target=\"_blank\" rel=\"noopener\">Discrete Mathematics for Computer Science<\/a><\/h3>\n<p data-start=\"40\" data-end=\"114\"><span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">In Discrete Mathematics, particularly in the context of GATE (Graduate Aptitude Test in Engineering) examinations, understanding the properties of equivalence relations and their combinations is crucial.<\/span><\/p>\n<h3 data-start=\"116\" data-end=\"139\">\u2705 <strong data-start=\"122\" data-end=\"139\">Key Concepts:<\/strong><\/h3>\n<ul data-start=\"141\" data-end=\"520\">\n<li data-start=\"141\" data-end=\"243\">\n<p data-start=\"143\" data-end=\"243\"><strong data-start=\"143\" data-end=\"168\">Equivalence Relation:<\/strong> <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">A relation <span class=\"katex\"><span class=\"katex-mathml\">RR<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><\/span><\/span><\/span> on a set <span class=\"katex\"><span class=\"katex-mathml\">AA<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span> is called an equivalence relation if it is <strong data-start=\"79\" data-end=\"92\">reflexive<\/strong>, <strong data-start=\"94\" data-end=\"107\">symmetric<\/strong>, and <strong data-start=\"113\" data-end=\"127\">transitive<\/strong>.<\/span><\/p>\n<\/li>\n<li data-start=\"245\" data-end=\"385\">\n<p data-start=\"247\" data-end=\"385\"><strong data-start=\"247\" data-end=\"306\">Intersection of Equivalence Relations (<span class=\"katex\"><span class=\"katex-mathml\">R\u2229SR \\cap S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span>):<\/strong> <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">If <span class=\"katex\"><span class=\"katex-mathml\">RR<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><\/span><\/span><\/span> and <span class=\"katex\"><span class=\"katex-mathml\">SS<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> are equivalence relations on the same set <span class=\"katex\"><span class=\"katex-mathml\">AA<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span>, then their intersection <span class=\"katex\"><span class=\"katex-mathml\">R\u2229SR \\cap S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> is also an equivalence relation. This is because the intersection of reflexive, symmetric, and transitive relations retains these properties.<\/span><\/p>\n<\/li>\n<li data-start=\"387\" data-end=\"520\">\n<p data-start=\"389\" data-end=\"520\"><strong data-start=\"389\" data-end=\"441\">Union of Equivalence Relations (<span class=\"katex\"><span class=\"katex-mathml\">R\u222aSR \\cup S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u222a<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span>):<\/strong> <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">The union <span class=\"katex\"><span class=\"katex-mathml\">R\u222aSR \\cup S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u222a<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> of two equivalence relations <span class=\"katex\"><span class=\"katex-mathml\">RR<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><\/span><\/span><\/span> and <span class=\"katex\"><span class=\"katex-mathml\">SS<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> on the same set <span class=\"katex\"><span class=\"katex-mathml\">AA<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span> <strong data-start=\"98\" data-end=\"109\">may not<\/strong> be an equivalence relation. While the union of reflexive and symmetric relations remains reflexive and symmetric, it may fail to be transitive.<\/span><\/p>\n<\/li>\n<\/ul>\n<h3 data-start=\"522\" data-end=\"569\">\ud83d\udcd8 <strong data-start=\"529\" data-end=\"569\">GATE Previous Year Question Example:<\/strong><\/h3>\n<p data-start=\"571\" data-end=\"649\"><span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\"><strong data-start=\"0\" data-end=\"31\" data-is-last-node=\"\" data-is-only-node=\"\">GATE CSE 2005, Question 42:<\/strong><\/span><\/p>\n<p data-start=\"651\" data-end=\"729\"><span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\"><em data-start=\"0\" data-end=\"133\" data-is-last-node=\"\" data-is-only-node=\"\">Let <span class=\"katex\"><span class=\"katex-mathml\">RR<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><\/span><\/span><\/span> and <span class=\"katex\"><span class=\"katex-mathml\">SS<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> be any two equivalence relations on a non-empty set <span class=\"katex\"><span class=\"katex-mathml\">AA<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">A<\/span><\/span><\/span><\/span>. Which one of the following statements is TRUE?<\/em><\/span><\/p>\n<p data-start=\"731\" data-end=\"743\"><strong data-start=\"731\" data-end=\"743\">Options:<\/strong><\/p>\n<p data-start=\"745\" data-end=\"826\">A) <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\"><span class=\"katex\"><span class=\"katex-mathml\">R\u222aSR \\cup S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u222a<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> is always an equivalence relation.<\/span><\/p>\n<p data-start=\"828\" data-end=\"909\">B) <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\"><span class=\"katex\"><span class=\"katex-mathml\">R\u2229SR \\cap S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> is always an equivalence relation.<\/span><\/p>\n<p data-start=\"911\" data-end=\"992\">C) <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\"><span class=\"katex\"><span class=\"katex-mathml\">R\u2218SR \\circ S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u2218<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> is always an equivalence relation.<\/span><\/p>\n<p data-start=\"994\" data-end=\"1075\">D) <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\"><span class=\"katex\"><span class=\"katex-mathml\">R\u2212SR &#8211; S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u2212<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> is always an equivalence relation.<\/span><\/p>\n<p data-start=\"1077\" data-end=\"1175\"><strong data-start=\"1077\" data-end=\"1096\">Correct Answer:<\/strong> <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\"><strong data-start=\"0\" data-end=\"56\" data-is-last-node=\"\" data-is-only-node=\"\">B) <span class=\"katex\"><span class=\"katex-mathml\">R\u2229SR \\cap S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> is always an equivalence relation.<\/strong><\/span><\/p>\n<p data-start=\"1177\" data-end=\"1193\"><strong data-start=\"1177\" data-end=\"1193\">Explanation:<\/strong><\/p>\n<ul data-start=\"1195\" data-end=\"1577\">\n<li data-start=\"1195\" data-end=\"1289\">\n<p data-start=\"1197\" data-end=\"1289\"><strong data-start=\"1197\" data-end=\"1210\">Option A:<\/strong> <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">As mentioned, <span class=\"katex\"><span class=\"katex-mathml\">R\u222aSR \\cup S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u222a<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> may not be transitive, hence not always an equivalence relation.<\/span><\/p>\n<\/li>\n<li data-start=\"1291\" data-end=\"1385\">\n<p data-start=\"1293\" data-end=\"1385\"><strong data-start=\"1293\" data-end=\"1306\">Option B:<\/strong> <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">The intersection of two equivalence relations retains reflexivity, symmetry, and transitivity, thus always an equivalence relation.<\/span><\/p>\n<\/li>\n<li data-start=\"1387\" data-end=\"1481\">\n<p data-start=\"1389\" data-end=\"1481\"><strong data-start=\"1389\" data-end=\"1402\">Option C:<\/strong> <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">The composition <span class=\"katex\"><span class=\"katex-mathml\">R\u2218SR \\circ S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u2218<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> may not be symmetric or transitive, hence not necessarily an equivalence relation.<\/span><\/p>\n<\/li>\n<li data-start=\"1483\" data-end=\"1577\">\n<p data-start=\"1485\" data-end=\"1577\"><strong data-start=\"1485\" data-end=\"1498\">Option D:<\/strong> <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">The difference <span class=\"katex\"><span class=\"katex-mathml\">R\u2212SR &#8211; S<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">R<\/span><span class=\"mbin\">\u2212<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> may not retain any of the three required properties, so it&#8217;s not guaranteed to be an equivalence relation.<\/span><\/p>\n<\/li>\n<\/ul>\n<p data-start=\"1579\" data-end=\"1681\">For a more in-depth understanding and additional examples, you might find the following video helpful:<\/p>\n<div class=\"not-prose mb-3 flex flex-col gap-4 text-base\">\n<div><\/div>\n<\/div>\n<p data-start=\"1727\" data-end=\"1810\">Feel free to ask if you need further clarification or assistance with other topics!<\/p>\n<h3 data-start=\"1727\" data-end=\"1810\"><a href=\"https:\/\/mrce.in\/ebooks\/Maths-Discrete%20Mathematics%20&amp;%20its%20Applications%208th%20Ed.pdf\" target=\"_blank\" rel=\"noopener\">Discrete Mathematics previous year-GATE 2025 Equivalence relation Let R and S be any two equivalence<\/a><\/h3>\n<h3 class=\"LC20lb MBeuO DKV0Md\"><a href=\"https:\/\/gate2025.iitr.ac.in\/doc\/2025\/2025_QP\/DA.pdf\" target=\"_blank\" rel=\"noopener\">Data Science and Artificial Intelligence (DA) &#8211; GATE 2025<\/a><\/h3>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Discrete Mathematics previous year-GATE 2025 Equivalence relation Let R and S be any two equivalence In the context of GATE (Graduate Aptitude Test in Engineering) examinations, understanding the properties of equivalence relations is crucial. An equivalence relation on a set AAA is a relation that is reflexive, symmetric, and transitive. Key Properties of Equivalence Relations: [&hellip;]<\/p>\n","protected":false},"author":71,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[76],"tags":[],"class_list":["post-3054","post","type-post","status-publish","format-standard","hentry","category-discrete-mathematics"],"_links":{"self":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/posts\/3054","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/users\/71"}],"replies":[{"embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/comments?post=3054"}],"version-history":[{"count":0,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/posts\/3054\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/media?parent=3054"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/categories?post=3054"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/tags?post=3054"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}