>>916
普通、空間という言葉は単なる集合ではなくそこにある構造が定義されているときに使う。
だから、部分集合であって、さらに全体集合が空間であるのと同じ意味で空間であるときに
その部分集合を部分空間と呼ぶ。