The rule of inference that corresponds to the transitivity of the conditional connective, i.e., that from $\phi \to \psi$ and $\psi \to \xi$, one may infer $\phi \to \psi$. More formally, this is the inference:

The term is frequently used not only to describe the rule, but the axiom scheme:

• • $\left(\left(\phi \to \psi \right)\wedge \left(\psi \to \xi \right)\right)\to \left(\phi \to \xi \right)$

as well.