theorem Th29: :: HAUSDORF:29

for M being non empty MetrSpace
for P being non empty Subset of (TopSpaceMetr M) holds max_dist_min (P,P) = 0