{"id":3060,"date":"2025-06-05T09:12:52","date_gmt":"2025-06-05T09:12:52","guid":{"rendered":"https:\/\/diznr.com\/?p=3060"},"modified":"2025-06-05T09:12:52","modified_gmt":"2025-06-05T09:12:52","slug":"discrete-mathematics-previous-year-gate-2021-equivalence-relation-let-r-and-s-be-any-two-2-equivalence","status":"publish","type":"post","link":"https:\/\/www.reilsolar.com\/pdf\/discrete-mathematics-previous-year-gate-2021-equivalence-relation-let-r-and-s-be-any-two-2-equivalence\/","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>[fvplayer id=&#8221;232&#8243;]<\/p>\n<p data-start=\"0\" data-end=\"200\">It looks like you are looking for <strong data-start=\"34\" data-end=\"113\">Discrete Mathematics \u2013 Equivalence Relations \u2013 Previous Year GATE Questions<\/strong> related to <strong data-start=\"125\" data-end=\"138\">GATE 2025<\/strong>. Here\u2019s a conceptual breakdown along with a sample problem:<\/p>\n<h3 data-start=\"207\" data-end=\"253\"><strong data-start=\"211\" data-end=\"251\">\u00a0Equivalence Relation \u2013 Definition<\/strong><\/h3>\n<p data-start=\"254\" data-end=\"373\">A relation <strong data-start=\"265\" data-end=\"270\">R<\/strong> on a set <strong data-start=\"280\" data-end=\"285\">S<\/strong> is called an <strong data-start=\"299\" data-end=\"323\">Equivalence Relation<\/strong> if it satisfies the following three properties:<\/p>\n<ol data-start=\"374\" data-end=\"594\">\n<li data-start=\"374\" data-end=\"426\"><strong data-start=\"377\" data-end=\"390\">Reflexive<\/strong>: <span class=\"katex\"><span class=\"katex-mathml\">aRaaRa<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">a<\/span><span class=\"mord mathnormal\">R<\/span><span class=\"mord mathnormal\">a<\/span><\/span><\/span><\/span> for all <span class=\"katex\"><span class=\"katex-mathml\">a\u2208Sa \\in S<\/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\">S<\/span><\/span><\/span><\/span>.<\/li>\n<li data-start=\"427\" data-end=\"501\"><strong data-start=\"430\" data-end=\"443\">Symmetric<\/strong>: If <span class=\"katex\"><span class=\"katex-mathml\">aRbaRb<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">a<\/span><span class=\"mord mathnormal\">R<\/span><span class=\"mord mathnormal\">b<\/span><\/span><\/span><\/span>, then <span class=\"katex\"><span class=\"katex-mathml\">bRabRa<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">b<\/span><span class=\"mord mathnormal\">R<\/span><span class=\"mord mathnormal\">a<\/span><\/span><\/span><\/span> for all <span class=\"katex\"><span class=\"katex-mathml\">a,b\u2208Sa, b \\in S<\/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\">S<\/span><\/span><\/span><\/span>.<\/li>\n<li data-start=\"502\" data-end=\"594\"><strong data-start=\"505\" data-end=\"519\">Transitive<\/strong>: If <span class=\"katex\"><span class=\"katex-mathml\">aRbaRb<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">a<\/span><span class=\"mord mathnormal\">R<\/span><span class=\"mord mathnormal\">b<\/span><\/span><\/span><\/span> and <span class=\"katex\"><span class=\"katex-mathml\">bRcbRc<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">b<\/span><span class=\"mord mathnormal\">R<\/span><span class=\"mord mathnormal\">c<\/span><\/span><\/span><\/span>, then <span class=\"katex\"><span class=\"katex-mathml\">aRcaRc<\/span><span class=\"katex-html\" aria-hidden=\"true\"><span class=\"base\"><span class=\"mord mathnormal\">a<\/span><span class=\"mord mathnormal\">R<\/span><span class=\"mord mathnormal\">c<\/span><\/span><\/span><\/span> for all <span class=\"katex\"><span class=\"katex-mathml\">a,b,c\u2208Sa, b, c \\in S<\/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\">S<\/span><\/span><\/span><\/span>.<\/li>\n<\/ol>\n<h3 data-start=\"601\" data-end=\"660\"><strong data-start=\"605\" data-end=\"658\">\u00a0Example GATE Question on Equivalence Relations<\/strong><\/h3>\n<p data-start=\"661\" data-end=\"860\"><strong data-start=\"664\" data-end=\"677\">Question:<\/strong><br data-start=\"677\" data-end=\"680\" \/>Let <strong data-start=\"684\" data-end=\"689\">R<\/strong> and <strong data-start=\"694\" data-end=\"699\">S<\/strong> be two equivalence relations 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>. Consider the relation <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> (intersection of R and S). Is <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> also an equivalence relation?<\/p>\n<p data-start=\"862\" data-end=\"889\"><strong data-start=\"865\" data-end=\"887\">Solution Approach:<\/strong><\/p>\n<ul data-start=\"890\" data-end=\"1534\">\n<li data-start=\"890\" data-end=\"1043\"><strong data-start=\"892\" data-end=\"906\">Reflexive:<\/strong> Since both <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 reflexive, <span class=\"katex\"><span class=\"katex-mathml\">(a,a)(a, a)<\/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><\/span><\/span> belongs to both <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>, so it must belong to <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>.<\/li>\n<li data-start=\"1044\" data-end=\"1261\"><strong data-start=\"1046\" data-end=\"1060\">Symmetric:<\/strong> If <span class=\"katex\"><span class=\"katex-mathml\">(a,b)\u2208R\u2229S(a, b) \\in R \\cap S<\/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 class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span>, then <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\">(a,b)\u2208S(a, b) \\in S<\/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\">S<\/span><\/span><\/span><\/span>. Since both <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 symmetric, <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> and <span class=\"katex\"><span class=\"katex-mathml\">(b,a)\u2208S(b, a) \\in S<\/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\">S<\/span><\/span><\/span><\/span>, so <span class=\"katex\"><span class=\"katex-mathml\">(b,a)\u2208R\u2229S(b, a) \\in R \\cap S<\/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 class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span>.<\/li>\n<li data-start=\"1262\" data-end=\"1534\"><strong data-start=\"1264\" data-end=\"1279\">Transitive:<\/strong> If <span class=\"katex\"><span class=\"katex-mathml\">(a,b)\u2208R\u2229S(a, b) \\in R \\cap S<\/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 class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> and <span class=\"katex\"><span class=\"katex-mathml\">(b,c)\u2208R\u2229S(b, c) \\in R \\cap S<\/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 class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span>, then <span class=\"katex\"><span class=\"katex-mathml\">(a,b)(a, b)<\/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><\/span><\/span> and <span class=\"katex\"><span class=\"katex-mathml\">(b,c)(b, c)<\/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><\/span><\/span> belong to both <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>. Since both <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 transitive, <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> and <span class=\"katex\"><span class=\"katex-mathml\">(a,c)\u2208S(a, c) \\in S<\/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\">S<\/span><\/span><\/span><\/span>, so <span class=\"katex\"><span class=\"katex-mathml\">(a,c)\u2208R\u2229S(a, c) \\in R \\cap S<\/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 class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span>.<\/li>\n<li data-start=\"1262\" data-end=\"1534\"><strong data-start=\"1539\" data-end=\"1554\">Conclusion:<\/strong> Since <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> satisfies all three properties, it is also an <strong data-start=\"1622\" data-end=\"1646\">equivalence relation<\/strong>.<\/li>\n<li data-start=\"1262\" data-end=\"1534\"><strong data-start=\"1653\" data-end=\"1664\">Answer:<\/strong> <strong data-start=\"1665\" data-end=\"1723\">Yes, <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><\/li>\n<\/ul>\n<p data-start=\"1732\" data-end=\"1870\" data-is-last-node=\"\" data-is-only-node=\"\">Would you like more GATE <strong data-start=\"1757\" data-end=\"1784\">previous year questions<\/strong> with solutions or a <strong data-start=\"1805\" data-end=\"1820\">short trick<\/strong> to solve equivalence relation problems faster?<\/p>\n<h3 data-start=\"1732\" data-end=\"1870\"><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<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=\"0\" data-end=\"174\"><span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">In the context of GATE 2025 and Discrete Mathematics, understanding how operations on equivalence relations behave is crucial.<\/span> Let&#8217;s delve into the properties of the <strong data-start=\"77\" data-end=\"93\">intersection<\/strong> and <strong data-start=\"98\" data-end=\"107\">union<\/strong> of two equivalence relations.<\/p>\n<hr data-start=\"176\" data-end=\"179\" \/>\n<h3 data-start=\"181\" data-end=\"240\">\u2705 <strong data-start=\"187\" data-end=\"240\">Intersection of Two Equivalence Relations (R \u2229 S)<\/strong><\/h3>\n<p data-start=\"242\" data-end=\"331\"><strong data-start=\"242\" data-end=\"256\">Statement:<\/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 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>, 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.<\/span><\/p>\n<p data-start=\"333\" data-end=\"349\"><strong data-start=\"333\" data-end=\"349\">Explanation:<\/strong><\/p>\n<p data-start=\"351\" data-end=\"497\">An equivalence relation must satisfy three properties: <strong data-start=\"406\" data-end=\"421\">reflexivity<\/strong>, <strong data-start=\"423\" data-end=\"435\">symmetry<\/strong>, and <strong data-start=\"441\" data-end=\"457\">transitivity<\/strong>. Let&#8217;s verify these for <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>:<\/p>\n<ol data-start=\"499\" data-end=\"1033\">\n<li data-start=\"499\" data-end=\"645\">\n<p data-start=\"502\" data-end=\"518\"><strong data-start=\"502\" data-end=\"518\">Reflexivity:<\/strong><\/p>\n<ul data-start=\"522\" data-end=\"645\">\n<li data-start=\"522\" data-end=\"561\">\n<p data-start=\"524\" data-end=\"561\"><span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">Since both <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 reflexive, for every <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> and <span class=\"katex\"><span class=\"katex-mathml\">(a,a)\u2208S(a, a) \\in S<\/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\">S<\/span><\/span><\/span><\/span>.<\/span><\/p>\n<\/li>\n<li data-start=\"565\" data-end=\"645\">\n<p data-start=\"567\" data-end=\"645\"><span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">Therefore, <span class=\"katex\"><span class=\"katex-mathml\">(a,a)\u2208R\u2229S(a, a) \\in R \\cap S<\/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 class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span>, ensuring reflexivity.<\/span><\/p>\n<\/li>\n<\/ul>\n<\/li>\n<li data-start=\"647\" data-end=\"837\">\n<p data-start=\"650\" data-end=\"663\"><strong data-start=\"650\" data-end=\"663\">Symmetry:<\/strong><\/p>\n<ul data-start=\"667\" data-end=\"837\">\n<li data-start=\"667\" data-end=\"708\">\n<p data-start=\"669\" data-end=\"708\"><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\">(a,b)\u2208R\u2229S(a, b) \\in R \\cap S<\/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 class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span>, then <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\">(a,b)\u2208S(a, b) \\in S<\/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\">S<\/span><\/span><\/span><\/span>.<\/span><\/p>\n<\/li>\n<li data-start=\"712\" data-end=\"753\">\n<p data-start=\"714\" data-end=\"753\"><span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">Since both <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 symmetric, <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> and <span class=\"katex\"><span class=\"katex-mathml\">(b,a)\u2208S(b, a) \\in S<\/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\">S<\/span><\/span><\/span><\/span>.<\/span><\/p>\n<\/li>\n<li data-start=\"757\" data-end=\"837\">\n<p data-start=\"759\" data-end=\"837\"><span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">Thus, <span class=\"katex\"><span class=\"katex-mathml\">(b,a)\u2208R\u2229S(b, a) \\in R \\cap S<\/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 class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span>, confirming symmetry.<\/span><\/p>\n<\/li>\n<\/ul>\n<\/li>\n<li data-start=\"839\" data-end=\"1033\">\n<p data-start=\"842\" data-end=\"859\"><strong data-start=\"842\" data-end=\"859\">Transitivity:<\/strong><\/p>\n<ul data-start=\"863\" data-end=\"1033\">\n<li data-start=\"863\" data-end=\"904\">\n<p data-start=\"865\" data-end=\"904\"><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\">(a,b)\u2208R\u2229S(a, b) \\in R \\cap S<\/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 class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span> and <span class=\"katex\"><span class=\"katex-mathml\">(b,c)\u2208R\u2229S(b, c) \\in R \\cap S<\/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 class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span>, then <span class=\"katex\"><span class=\"katex-mathml\">(a,b),(b,c)\u2208R(a, b), (b, 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\">b<\/span><span class=\"mclose\">)<\/span><span class=\"mpunct\">,<\/span><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> and <span class=\"katex\"><span class=\"katex-mathml\">(a,b),(b,c)\u2208S(a, b), (b, c) \\in S<\/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=\"mpunct\">,<\/span><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\">S<\/span><\/span><\/span><\/span>.<\/span><\/p>\n<\/li>\n<li data-start=\"908\" data-end=\"949\">\n<p data-start=\"910\" data-end=\"949\"><span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">Since both <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 transitive, <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> and <span class=\"katex\"><span class=\"katex-mathml\">(a,c)\u2208S(a, c) \\in S<\/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\">S<\/span><\/span><\/span><\/span>.<\/span><\/p>\n<\/li>\n<li data-start=\"953\" data-end=\"1033\">\n<p data-start=\"955\" data-end=\"1033\"><span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">Therefore, <span class=\"katex\"><span class=\"katex-mathml\">(a,c)\u2208R\u2229S(a, c) \\in R \\cap S<\/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 class=\"mbin\">\u2229<\/span><\/span><span class=\"base\"><span class=\"mord mathnormal\">S<\/span><\/span><\/span><\/span>, establishing transitivity.<\/span><\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ol>\n<p data-start=\"1035\" data-end=\"1129\"><strong data-start=\"1035\" data-end=\"1050\">Conclusion:<\/strong> <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">The 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> retains all three properties, making it an equivalence relation.<\/span><\/p>\n<hr data-start=\"1131\" data-end=\"1134\" \/>\n<h3 data-start=\"1136\" data-end=\"1188\">\u274c <strong data-start=\"1142\" data-end=\"1188\">Union of Two Equivalence Relations (R \u222a S)<\/strong><\/h3>\n<p data-start=\"1190\" data-end=\"1283\"><strong data-start=\"1190\" data-end=\"1204\">Statement:<\/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 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 <strong data-start=\"94\" data-end=\"113\">not necessarily<\/strong> an equivalence relation.<\/span><\/p>\n<p data-start=\"1285\" data-end=\"1301\"><strong data-start=\"1285\" data-end=\"1301\">Explanation:<\/strong><\/p>\n<p data-start=\"1303\" data-end=\"1457\">While the union may preserve reflexivity and symmetry under certain conditions, <strong data-start=\"1383\" data-end=\"1399\">transitivity<\/strong> is not guaranteed. Let&#8217;s illustrate this with an example:<\/p>\n<p data-start=\"1459\" data-end=\"1471\"><strong data-start=\"1459\" data-end=\"1471\">Example:<\/strong><\/p>\n<p data-start=\"1473\" data-end=\"1498\">Let <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><\/p>\n<p data-start=\"1500\" data-end=\"1507\">Define:<\/p>\n<ul data-start=\"1508\" data-end=\"1607\">\n<li data-start=\"1508\" data-end=\"1557\">\n<p data-start=\"1510\" data-end=\"1557\"><span class=\"katex\"><span class=\"katex-mathml\">R={(1,1),(2,2),(3,3),(1,2),(2,1)}R = \\{(1,1), (2,2), (3,3), (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\">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\">2<\/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\">3<\/span><span class=\"mclose\">)<\/span><span class=\"mpunct\">,<\/span><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=\"1558\" data-end=\"1607\">\n<p data-start=\"1560\" data-end=\"1607\"><span class=\"katex\"><span class=\"katex-mathml\">S={(1,1),(2,2),(3,3),(2,3),(3,2)}S = \\{(1,1), (2,2), (3,3), (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\">1<\/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\">2<\/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\">3<\/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<\/li>\n<\/ul>\n<p data-start=\"1609\" data-end=\"1614\">Then:<\/p>\n<ul data-start=\"1615\" data-end=\"1685\">\n<li data-start=\"1615\" data-end=\"1685\">\n<p data-start=\"1617\" data-end=\"1685\"><span class=\"katex\"><span class=\"katex-mathml\">R\u222aS={(1,1),(2,2),(3,3),(1,2),(2,1),(2,3),(3,2)}R \\cup S = \\{(1,1), (2,2), (3,3), (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\">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\">2<\/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\">3<\/span><span class=\"mclose\">)<\/span><span class=\"mpunct\">,<\/span><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<\/li>\n<\/ul>\n<p data-start=\"1687\" data-end=\"1715\">Now, check for transitivity:<\/p>\n<ul data-start=\"1716\" data-end=\"1804\">\n<li data-start=\"1716\" data-end=\"1804\">\n<p data-start=\"1718\" data-end=\"1804\"><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><\/p>\n<\/li>\n<\/ul>\n<p data-start=\"1806\" data-end=\"1900\"><strong data-start=\"1806\" data-end=\"1821\">Conclusion:<\/strong> <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">Since transitivity fails, <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.<\/span><\/p>\n<hr data-start=\"1902\" data-end=\"1905\" \/>\n<h3 data-start=\"1907\" data-end=\"1931\">\ud83d\udccc <strong data-start=\"1914\" data-end=\"1931\">Summary Table<\/strong><\/h3>\n<div class=\"_tableContainer_16hzy_1\">\n<div class=\"_tableWrapper_16hzy_14 group flex w-fit flex-col-reverse\">\n<table class=\"w-fit min-w-(--thread-content-width)\" data-start=\"1933\" data-end=\"2402\">\n<thead data-start=\"1933\" data-end=\"1998\">\n<tr data-start=\"1933\" data-end=\"1998\">\n<th data-start=\"1933\" data-end=\"1952\" data-col-size=\"sm\">Operation<\/th>\n<th data-start=\"1952\" data-end=\"1973\" data-col-size=\"sm\">Resulting Relation<\/th>\n<th data-start=\"1973\" data-end=\"1998\" data-col-size=\"sm\">Equivalence Relation?<\/th>\n<\/tr>\n<\/thead>\n<tbody data-start=\"2065\" data-end=\"2402\">\n<tr data-start=\"2065\" data-end=\"2212\">\n<td data-start=\"2065\" data-end=\"2109\" data-col-size=\"sm\"><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><\/span><\/td>\n<td data-start=\"2109\" data-end=\"2157\" data-col-size=\"sm\"><span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">Intersection<\/span><\/td>\n<td data-col-size=\"sm\" data-start=\"2157\" data-end=\"2212\"><span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">\u2705 Always<\/span><\/td>\n<\/tr>\n<tr data-start=\"2213\" data-end=\"2402\">\n<td data-start=\"2213\" data-end=\"2257\" data-col-size=\"sm\"><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><\/span><\/td>\n<td data-start=\"2257\" data-end=\"2312\" data-col-size=\"sm\"><span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">Union<\/span><\/td>\n<td data-start=\"2312\" data-end=\"2362\" data-col-size=\"sm\"><span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">\u274c Not Always<\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<div class=\"sticky end-(--thread-content-margin) h-0 self-end select-none\">\n<div class=\"absolute end-0 flex items-end\"><\/div>\n<\/div>\n<\/div>\n<\/div>\n<hr data-start=\"2404\" data-end=\"2407\" \/>\n<h3 data-start=\"2409\" data-end=\"2448\">\ud83d\udcda <strong data-start=\"2416\" data-end=\"2448\">Further Reading and Practice<\/strong><\/h3>\n<p data-start=\"2450\" data-end=\"2574\">For a deeper understanding and practice problems related to equivalence relations in GATE, consider the following resources:<\/p>\n<ul data-start=\"2576\" data-end=\"3089\">\n<li data-start=\"2576\" data-end=\"2750\">\n<p data-start=\"2578\" data-end=\"2750\"><strong data-start=\"2578\" data-end=\"2631\">GATEOverflow Discussion on Equivalence Relations:<\/strong> <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">A detailed discussion on GATE CSE 2005 Question 42, which explores the properties of intersection and union of equivalence relations.<\/span><\/p>\n<\/li>\n<li data-start=\"2752\" data-end=\"2921\">\n<p data-start=\"2754\" data-end=\"2921\"><strong data-start=\"2754\" data-end=\"2802\">BYJU&#8217;S Explanation on Equivalence Relations:<\/strong> <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">Comprehensive notes on the definition, properties, and examples of equivalence relations.<\/span><\/p>\n<\/li>\n<li data-start=\"2923\" data-end=\"3089\">\n<p data-start=\"2925\" data-end=\"3089\"><strong data-start=\"2925\" data-end=\"2970\">YouTube Lecture on Equivalence Relations:<\/strong> <span class=\"relative -mx-px my-[-0.2rem] rounded px-px py-[0.2rem] transition-colors duration-100 ease-in-out\">A video lecture discussing equivalence relations with examples, beneficial for visual learners.<\/span><\/p>\n<\/li>\n<\/ul>\n<p data-start=\"3091\" data-end=\"3206\">Feel free to explore these materials to reinforce your understanding of equivalence relations and their properties.<\/p>\n<h3 data-start=\"3091\" data-end=\"3206\"><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<h3 class=\"LC20lb MBeuO DKV0Md\"><a href=\"https:\/\/mrce.in\/ebooks\/Maths-Discrete%20Mathematics%20&amp;%20its%20Applications%208th%20Ed.pdf\" target=\"_blank\" rel=\"noopener\">Discrete Mathematics and Its Applications, Eighth Edition<\/a><\/h3>\n<div class=\"notranslate ESMNde HGLrXd ojE3Fb\">\n<div class=\"q0vns\">\n<div class=\"eqA2re UnOTSe Vwoesf\" aria-hidden=\"true\"><\/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. [fvplayer id=&#8221;232&#8243;] It looks like you are looking for Discrete Mathematics \u2013 Equivalence Relations \u2013 Previous Year GATE Questions related to GATE 2025. Here\u2019s a conceptual breakdown along with a sample problem: \u00a0Equivalence Relation \u2013 Definition A relation R on [&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-3060","post","type-post","status-publish","format-standard","hentry","category-discrete-mathematics"],"_links":{"self":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/posts\/3060","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=3060"}],"version-history":[{"count":0,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/posts\/3060\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/media?parent=3060"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/categories?post=3060"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.reilsolar.com\/pdf\/wp-json\/wp\/v2\/tags?post=3060"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}