 Then a sequence formula_36 in formula_51 is said to be Cauchy (w.r.t.formula_76) if and only if for any formula_12 there is formula_11 such that formula_79.Technically, this is the same thing as a topological group Cauchy sequence for a particular choice of topology on formula_51, namely that for which formula_76 is a local base.