Definition:Neighborhood of Set