The product of a finite set of metric spaces in Met is a metric space that has the cartesian product of the spaces as its points; the distance in the product space is given by the supremum of the distances in the base spaces.