Cauchy sequence
There is also a concept of Cauchy sequence for a topological vector space formula_53: Pick a local base formula_74 for formula_53 about 0; then (formula_76) is a Cauchy sequence if for each member formula_77 there is some number formula_21 such that whenever