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