Transitive relation

https://arbital.com/p/transitive_relation

by Dylan Hendrickson Jul 7 2016 updated Dec 19 2016

If a is related to b and b is related to c, then a is related to c.


A binary Relation R is transitive if whenever aRb and bRc, aRc.

The most common examples or transitive relations are partial orders (if ab and bc, then ac) and equivalence relations (if ab and bc, then ac).

A transitive relation that is also reflexive is called a [-preorder].

A [-transitive_set] S is a set on which the element-of relation is transitive; whenever ax and xS, aS.


Comments

Martin Epstein

Is this what is meant by transitive and nontransitive set?

Transitive:

A={{1,2},{3,4},1,2,3,4}

x={1,2}

a=2

ax, xA and aA

Nontransitive:

B={{1,2},{3,4}}

y={1,2}

b=2

by, yB but bB

Kevin Clancy

Yes, that's correct. I wonder if it is even a good idea to talk about transitive sets in the transitive relation page, as most people who are interested in transitive relations are not likely to care about transitive sets. When this page is expanded beyond stub status, I hope that it will focus mostly on transitivity, rather than related concepts such transitive sets, posets, and preorders.