 Normal neighbourhood

A normal neighbourhood of $p$ is the diffeomorphic image under ${\exp }_p$ of a star-shaped neighbourhood of $0$ in $T_{p}M$. In a sufficiently small normal ball, radial geodesics from $p$ uniquely minimize length.