# Thread: I dont understand how R1 = { (a,a),(a,c) } is transitive

1. ## I dont understand how R1 = { (a,a),(a,c) } is transitive

I am learning about equivalence relations, and in my text book it says

R1 = { (a,a), (a,c) }, How is this set transitive?

Also a totally separate question
how is R = { (a,b), (a,c) } transitive?

2. ## Re: I dont understand how R1 = { (a,a),(a,c) } is transitive

Originally Posted by erockdontstop
I am learning about equivalence relations, and in my text book it says
R1 = { (a,a), (a,c) }, How is this set transitive?
Also a totally separate question
how is R = { (a,b), (a,c) } transitive?
Look at the negation: $\mathcal{R}$ is not transitive if and only if
$(\exists (a,b)\in\mathcal{R}~\&~(b,c)\in\mathcal{R})$ but $(a,c)\notin\mathcal{R}$.

Are the two you posted not transitive? If not, then they are transitive.

3. ## Re: I dont understand how R1 = { (a,a),(a,c) } is transitive

A general logic rule: If, in the statement "x implies y", x is false then then entire statement is true whether y is true or false.

A set of pairs (a relation) is transitive if and only if the statement "if (a, b) is in the set and (b, c) is in the set then (a, c) is in the set". In both examples you give the hypothesis, "(a, b) is in the set and (b, c) is in the set" is NEVER true so the entire statement is true.