如果一个非空集合上可定义一个距离，则以下说法正确的是（）.