theorem Th42: :: TAXONOM1:42

for M being non empty Reflexive symmetric MetrStruct holds fam_class_metr M is Classification of the carrier of M