Transitivity is in logic and mathematics. If the following statements remain valid for all a, b, and c ∈ X, then the binary relationship R on the set is transitive: "If a is related to b and b is related to c, then a is related to c."
Relational OperatorsMeet the delivery relationship: ifbe。
There are other examples:
Equal relation
Inclusion of sets
Same sign unequal relationship
Divisive relation
The transitive relationship satisfying reflexivity is calledPreorder relation。The preorder relation satisfying antisymmetry is calledPartial order relation。The pre order relation satisfying symmetry is calledequivalence relation 。