Definition:Tubular Neighborhood