Espace Métrique Complet

Un espace métrique dans lequel toute suite de Cauchy converge vers un point de l’espace (de façon équivalente, tout filet de Cauchy converge si l’on travaille avec des filets) ; les limites des suites de Cauchy appartiennent toujours à l’espace.