任一非空集合上都可以定义距离，使之成为距离空间.