∀ a , b , c ∈ Q ( a < b ∧ b < c ⇒ a < c ) ∧ ( a = b ∧ b = c ⇒ a = c ) {\displaystyle \forall a,b,c\in \mathbb {Q} ~\left(a<b\land b<c\Rightarrow a<c\right)\land \left(a=b\land b=c\Rightarrow a=c\right)}