Definition:Punctured Neighborhood