The so-called transmission is:
In r, whenever xry and yrz, there must be xrz.
This symbol means: Yes.
,
There must be
Let's use an example to illustrate.
Let a={a, b, c}
Determines whether the following relationships are transitive:
r 1={
,
,
}
r2={
,
}
R 1 is not transitive.
Because of existence
,
But it doesn't exist.
R2 is portable.
Because the first ordinal pair of a relationship is the same as the second ordinal pair of another relationship.
namely
The situation of