A metric Space in which every Sequence that convergeS in itSelf haS a limit. For example, the Space of real numberS iS complete by Dedekind' S axiom, whereaS the Space of rational numberS iS not - e.g. the Sequence a[0]=1 a[n_+1]:=a[n]/2+1/a[n]. (1998-07-05)