Transitive relation
In mathematics, a relation R on a set X is transitive if, for all elements a, b, c in X, whenever R relates a to b and b to c, then R also relates a to c. Each partial order as well as each equivalence relation needs to be transitive.
This article needs additional citations for verification. (October 2013) |
Type | Binary relation |
---|---|
Field | Elementary algebra |
Statement | A relation on a set is transitive if, for all elements , , in , whenever relates to and to , then also relates to . |
Symbolic statement |