The transitive property describes any [[Binary Relation]] $\sim$ on a [[Set|set]] $X$ that behaves such that for any $a,b,c\in X$, if $a\sim b$ and $b \sim c$ - then $a \sim c$ $\huge a \sim b \wedge b \sim c \implies a \sim c $