Let \ , then \
So then such that \A. Hence int(X\A).
Use [tex]X\setminus A[/tex] to get .
Seems correct to me, except that it should be there exists instead of for all: there exists some s>0 such that the intersection is empty, that's the negation of for all r>0, the intersection is non-empty.