[Thm]:

$A\subseteq(M,d)$

1. $int(A)$ 是 open set
2. 若 $U\subseteq A$ 為 open set 則 $U\subseteq int(A)$. 即 $int(A)$ 為包含於 $A$ 的最大開集合.

• [pf]: