("n" + 1)次元球は "n" 次元球面を含めば閉集合であり、含まなければ開集合である。