設 $d_1,d_2$ 是 $M$ 上兩個 equivalent metrics. $A\subseteq M$. 若 $A$ 為 $(M,d_1)$ 的 open set, 則 $A$ 亦為 $(M,d_2)$ 的 open set