Definition
Let be a -dimensional smooth manifold with a -dimensional submanifold .
The normal space to at is
Since is a linear subspace, we can take the projection, and induce the direct sum
The normal bundle of is
A neighborhood of the zero section (which embeds as a submanifold of ) of is called convex if the intersection with each fiber is convex.