Causal curve (source code)

= Causal curve

A <causal curve> has an everywhere nonspacelike tangent of consistent time orientation; its smooth segments are timelike or null. More generally, curves with local <Lipschitz continuity> and future causal tangent almost everywhere are allowed. The <causal future> and <causal past> are defined by reachability along these curves.