Transitive Relation

A Predicate $\sim :A\text{texttimes}A\to \mathrm{Prop}$ is transitive whenever,

$$\forall x,y,z:A.x\sim y\wedge y\sim z\to x\sim z$$