Sexa A⊂R^p un subconxunto non baleiro. Sexa r un número estrictamente positivo. Defínese o conxunto V_r(A) por

Demostrade que V_r(A) é un conxunto aberto e que contén a adherencia de A.