I don't think what lanedance said about the part where if |p-s| < r, then p is also in S, is true. That's what you're trying to prove. So, you can't assume that. Well, it's true that to show the set S is open, you need to find r such that the open ball about s = (s,t) with radius r is totally...