> [!NOTE] **Definition** (Transitive binary relation) > A [[Binary Relation|binary relation]] $R$ is **transitive** iff $\forall x \forall y \forall z ((R(x,y) \land R(y,z)) \to R(x,z))$