設 $S\subseteq(M,d)$ 是 sequentially compact 則 $S$ 是 compact set
設 $K\subseteq(M,d)$ 是 compact set 則 $K$ 亦是 sequentially compact