>>527「集合位相入門」p72、73を参照