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