Yes, it has to be with and instead of the and . I mixed up two definitions.
By the way, in the meantime I was able to prove it in a different (but somewhat more tricky) way, you might be interested.
First, I give the definition of the -thickening of a set :
is the collection of all points within a distance of a point of A.
It's similar to a Ball in a metric space.
Next, let and . Then it is easy to see that
Take , then is easely follows that
Hence,
It is easy to show that
Combining these last two inclusions we see
You can prove, using the same arguments, that
And so it follows that,
But your approach is a tad more easy I think...