theorem Th41: :: TAXONOM1:41

for M being non empty bounded MetrSpace holds { the carrier of M} in fam_class_metr M