Let be an arbitrary metric space. For every and , we define the open -extension of as the set
,
where .
It seems intuitive that, given and , we should have that . However, I haven't been able to even begin to construct a rigorous argument to prove it. Any hint or proposed direction would be greatly appreciated (or counterexample in the event that it is false).