Metrischer Raum/Vollständig/Definition