Let $\mathscr{R}$ be a [[Binary Relation]] on a [[Set|set]] $A$. Then $\mathscr{R}$ is said to be **transitive** if $a \mathscr{R} b$ and $b \mathscr{R} c$ implies $a \mathscr{R} c$.