直積集合
可算個の原点付き距離空間の族 ("X""n", "d""n", "b""n")"n" ∈ Nが与えられたとき、直積集合 上に拡張距離関数を