# Complete metric space

<theory> 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].

< Previous Terms |
Terms Containing complete metric space |
Next Terms > |

complementary nondeterministic polynomial complete complete graph complete inference system complete lattice |
complete |
completeness complete partial ordering complete theory complete unification Complex Instruction Set Computer |