Klaim benar. Fungsi \(d\) adalah metrik pada \(X\times Y\text{;}\) metrik ini sering disebut metrik hasil kali berbentuk jumlah.