を満たすなら、距離関数は非アルキメデス的()あるいは超距離()であるという。