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