Transitive Property

The transitive property in its most common form is: when given numbers $a,$ $b,$ and $c,$ $a = b$ and $b = c$ being true implies $a = c.$ Also popular: $a < b$ and $b < c$ being true implies that $a < c .$

In general, the transitive property indicates that given some comparative relationship $\preceq ,$ $a \preceq b$ and $b \preceq c$ implies that $a \preceq c.$ The transitive property may seem trivial with equality and inequality, but there are many other relationships that seem transitive but are not. That is, the transitive property is useful to study in order to avoid mistakes in situations where it doesn't hold.

There are also formal mathematical structures (like partial ordering) which require transitivity, so transitivity may need to be proven.

The transitive property of equality is if $a = b$ and $b = c ,$ then $a = c .$

The transitive property of inequality is if $a < b$ and $b < c ,$ then $a < c .$ Note this also works with the symbols $> ,$ $\geq ,$ and $\leq .$

A visual depiction of the transitive property of inequality.

Suppose Aki, Brigid, and Caliana are playing tennis. Their Foot Movement, Hand Dexterity, and Stamina are each rated on a scale from 1 to 4. If the rating on two categories of player $X$ exceed two categories of player $Y,$ player $X$ wins the match.

Notice that Aki beats Brigid (Movement, Dexterity), Brigid beats Caliana (Movement, Stamina), but Caliana beats Aki (Dexterity, Stamina). In symbols, $A \preceq B ,$ $B \preceq C ,$ but it is not the case that $A \preceq C ;$ the reverse is true. Therefore this is a non-transitive relationship.

This can happen whenever the "ranking" of things is done in a way that can't be arranged on a single number line. This issue also comes up with voting:

Justifying the transitivity property formally is a matter of showing given a relation $\preceq ,$ $a \preceq b$ and $b \preceq c$ implies that $a \preceq c.$ This needs to be shown true for any choice of $a,$ $b,$ and $c$ in the given set.

Suppose we have a set $Z = \{1, 2, 3, 4\}$ with a relation defined by the input-output pairs $\{(1, 3), (1, 2), (3, 2), (2, 4), (4, 1)\} .$ Is this relationship transitive?

While we have a transitivity relationship with $1 \preceq 3,$ $3 \preceq 2,$ and $1 \preceq 2$ all being true, it doesn't hold for every possible trio of $a,$ $b,$ and $c.$ For example, $1 \preceq 2$ and $2 \preceq 4$ but it is not the case that $1 \preceq 4 .$ Therefore the relation is not transitive.