>>570 に書いたように、別に部分集合を指定しなくても「孤立点」って概念は
　x が孤立点 ⇔ {x} が開集合
で定義される。
>>566 は部分位相をよく理解してないだけじゃね？