Let (X,d) be a metric space and B(r,x) is the open ball of radius r about x.

__Definition:__ Let F be a subset of X. The

**interior** of F, int(F), is the set of all x E F such that there is an r > 0 such that B(r,x) is contained in F.

__Definition:__ Let D be a subset of X. By definition, D is

**open** iff for all a E D, there exists r>0 such that B(r,a) is contained in D.

__Definition:__ Let F be a subset of X. F is called

**closed** iff whenever (x_n) is a sequence in F which converges to a E X, then a E F. (i.e. F contains all limit points of sequences in F) The

**closure** of F is the set of all limit points of sequences in F.

__Theorem:__ x is in the closure of F iff for all r>0, B(r,x) intersect F is nonempty.

**Let (X,d) be a metric space and E is a subset of X. ****Prove that** (c means complement, E bar means the closure of E) =======================================
I wrote all the relevant definitions in front of me, but I still can't figure out this one. I know that for proving equality of sets, I have to prove that A is contianed in B(x E A => x E B) and B is contianed in A (x E B => x E A). However, for this problem, I can write down the basic definitions for each direction, but I just can't figure out the connection between the two sets...

Any help is greatly appreciated!