Definition:Cauchy Sequence (Normed Division Ring)