【ページ】 58.

PをR~2上の点、 SをR~2の部分集合とするとき、
PがSの孤立点なるための必要かつ十分な条件はU_ε(P)∩S={P}なる
正の実数εが存在することである。

とあるのですが、十分となる理由がわかりません
U_ε(P)∩Sが有限集合となるようなεが存在することはわかりますが
{P}？