Transitive relations in a set

  • Thread starter nuuskur
  • Start date
  • #1
525
345

Main Question or Discussion Point

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
34,043
9,883
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.
 

Related Threads on Transitive relations in a set

Replies
6
Views
1K
Replies
4
Views
34K
  • Last Post
Replies
2
Views
1K
Replies
5
Views
844
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
5
Views
3K
Replies
4
Views
537
Replies
2
Views
3K
Replies
5
Views
3K
Top