距離関数がwell-definedだと示す際にこれを確かめなければいけないという項目はあるのでしょうか
具体的にはsup距離やbounded Lipschitz距離です