離散位相
記事はありません。