非延長的な曲線

未来向き因果的曲線 $\alpha\colon[a,b)\to M$（$b\le\infty$）が未来に延長可能であるとは、極限 $\lim_{s\to b}\alpha(s)$ が $M$ に存在することをいう。そうでないとき未来に非延長的という。開区間上の因果的曲線が、未来向きに見て未来にも過去にも非延長的であるとき、単に非延長的という。