Vollständigkeit (Topologie)

die Eigenschaft eines uniformen Raumes (X, U ), dass jeder Cauchy-Filter auf X gegen einen Punkt aus X konvergiert (vollständiger uniformer Raum). Dabei heißt ein Filter F auf (X, U ) Cauchy-Filter auf X, falls zu jeder Nachbarschaft V ∊ U eine Filtermenge N ∊ F existiert, sodass N