閉球は閉集合