Kompleta metrika spaco

Kompleta metrika spaco esas metrika spaco kun tala proprajo segun qua omna sequo di Cauchy kreita de punti dil spaco havas sequolimito en punto apartenat al spaco.

Kategorio:Metrika geometrio