Metrischer Raum/Vollständig/Definition/Begriff