A sequence (a_n) is Cauchy iff ∀ε>0 ∃N s.t. m,n≥N ⇒ |a_m − a_n| < ε. Encodes convergence without knowing the limit.