>>568
そういうのを位相空間と言う。