距离空间中的任一子集，其内部一定是开集.