 The set formula_82 of such Cauchy sequences forms a group (for the componentwise product), and the set formula_83 of null sequences (s.th.formula_84) is a normal subgroup of formula_82.The factor group formula_86 is called the completion of formula_51 with respect to formula_76.