定義
X を位相空間とする。
X の点 x は {x} が X の開集合であるとき X の孤立点(isolated point)であるという。