Definition:Deleted Neighborhood (Normed Vector Space)