>>829
離散位相が入っているからどんな像も開集合になる