このような距離函数を称して拡大距離("extended metric")と言う。