>>157
部分空間として離散位相空間になるってこと。