# Transitive

1,016pages on
this wiki

A relation R on a set A is transitive if when an element a is related to an element b, and b is related to an element c, then a is related to c.

$\forall a \forall b \forall c(((a \in A)\land(b \in A)\land(c \in A )\land ((a,b)\in R) \land((b,c)\in R))\to(a,c)\in R)$