theorem Th35: :: TAXONOM1:35

for M being non empty Reflexive symmetric MetrStruct holds fam_class_metr M = fam_class the distance of M