for PM being MetrStruct holds the carrier of (TopSpaceMetr PM) = the carrier of PM