Definition:Frechet Product Metric