Transitive relations in a set

  • Thread starter nuuskur
  • Start date
  • #1
618
409
Having trouble understanding the concept of transitivity.
By definition: If [itex](a,b)\in R\wedge (b,c)\in R \Rightarrow (a,c)\in R[/itex] - Great.

Consider the set [itex]\{a,b\}[/itex]. What makes the relation [itex]\{(a,a)\}[/itex] or [itex]\{(a,a),(a,b)\}[/itex] transitive? How do I translate this in terms of the definition?
What makes an empty set transitive?
 

Answers and Replies

  • #2
35,337
11,648
There is an important part missing in the definition: "For all a,b,c in the set".
You can test all combinations of the set and see if this statement is violated for one combination. If yes, the relation is not transitive. If there is no violation, it is transitive.
For the empty set, there is no combination at all that could violate transitivity, so a relation on it is always transitive.
 
  • Like
Likes nuuskur

Related Threads on Transitive relations in a set

Replies
6
Views
1K
Replies
4
Views
35K
  • Last Post
Replies
2
Views
1K
Replies
5
Views
925
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
5
Views
3K
Replies
4
Views
635
Replies
2
Views
4K
Replies
5
Views
3K
Top