Extendible geodesic
= Extendible geodesic
An <extendible geodesic> is a <geodesic> segment that can be continued beyond at least one endpoint within the same manifold after retaining an <affine parameter>. An artificial truncation at a regular event is extendible even when its continuation eventually reaches a singularity.