open sphere is open set