部分集合が空間であることはどうやって認識するの?