Log In
14 votes
$S=\{(1,2), (2,1)\}$ is binary relation on set $A = \{1,2,3\}$. Is it irreflexive? Add the minimum number of ordered pairs to S to make it an equivalence relation. Give the modified $S$.

Let $S=\{a,b\}$ and let $\square(S)$ be the powerset of $S$. Consider the binary relation '$\subseteq$ (set inclusion)' on $\square(S)$. Draw the Hasse diagram corresponding to the lattice ($\square(S), \subseteq$)
in Set Theory & Algebra
edited by

2 Answers

19 votes
Best answer

$S=\{(1,2), (2,1)\}:$ This relation is Irreflexive, Symmetric, Not Transitive, Not Reflexive, Not Asymmetric, Not antisymmetric.

Equivalence Relation $\implies$ Symmetric, Transitive, Reflexive.

It is not transitive & Reflexive.

Reflexive closure of $S = \{ (1,1),(2,2),(3,3),(1,2),(2,1) \}$

After taking transitive closure relation does not change.

Answer: $S = \{ (1,1),(2,2),(3,3),(1,2),(2,1)\}$

$S = \{a,b\}$

$P(S) = \{ \emptyset,{a},{b},{a,b}\}$

Related Hasse Diagram


edited by
@anyone please edit  the power set .as

{ø, {a},{b}, {a,b}}
Why are taking the closure like transitive, reflexive symetric.? is this set{(1,2),(2,1),(1,1)} not an equivalnce ?
I don't think Hasse diagram Has directions !
No its not because look at other case where in set {(2,1),(1,2),(1,1)} here 1 is 2 is related to 1 and 1 is related to 2 so for transitivity there should be a 2 related to 2..
10 votes
S={(1,2), (2,1)} is irreflexive as well as symmetric but not transitive..
to make equivalence relation we need to add Reflexive, symmetric, transitive closure to it.
reflexive closure = {(1,1,) (2,2) (3,3)}
Symmetric Closure = { }
Transitive Closure = {1,1 }
equivalence relation = {(1,1,) (2,2) (3,3) (1,2) (2,1)}

edited by
Hi @laser , is the original relation transitive ? ( i am not talking about modified relation ).

In the original relation , { (1,2), (2,1) } : it is (a) irreflexive , (b) symmetric , but is it transitive ?

I know null set is also transitive . But , in the given original set had there been an element (1,1) , it would have been transitive. Am I wrong ?
corrected !!!

Related questions

13 votes
4 answers
Let $A$ be a set of $n(>0)$ elements. Let $N_r$ be the number of binary relations on $A$ and let $N_f$ be the number of functions from $A$ to $A$ Give the expression for $N_r,$ in terms of $n.$ Give the expression for $N_f,$ terms of $n.$ Which is larger for all possible $n,N_r$ or $N_f$
asked Sep 16, 2014 in Set Theory & Algebra Kathleen 1.8k views
23 votes
5 answers
The binary relation $S= \phi \text{(empty set)}$ on a set $A = \left \{ 1,2,3 \right \}$ is Neither reflexive nor symmetric Symmetric and reflexive Transitive and reflexive Transitive and symmetric
asked Sep 16, 2014 in Set Theory & Algebra Kathleen 6.4k views
16 votes
3 answers
Which of the following is true? The set of all rational negative numbers forms a group under multiplication. The set of all non-singular matrices forms a group under multiplication. The set of all matrices forms a group under multiplication. Both B and C are true.
asked Sep 15, 2014 in Set Theory & Algebra Kathleen 4.3k views
12 votes
4 answers
The Hasse diagrams of all the lattices with up to four elements are _____ (write all the relevant Hasse diagrams)
asked Oct 4, 2014 in Set Theory & Algebra Kathleen 1.7k views