Tubular neighborhood (source code)

= Tubular neighborhood
{wiki=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.