 Tubular neighborhood

A tubular neighborhood is a concept from differential topology, which refers to a certain kind of neighborhood around a submanifold within a manifold.