Es sei (X,d) ein halbmetrischer Raum. Eine Folge in X heißt Cauchyfolge, falls: : : : .
1.) Ein metrischer Raum (X,d) heißt vollständig, falls jede Cauchyfolge (in X) konvergiert.
