In mathematics, a binary relation on a set is transitive if, for all elements , , in , whenever relates to and to , then also relates to .

Every partial order and every equivalence relation is transitive. For example, less than and equality among real numbers