A curve in M is the image of a path or, more properly, an equivalence class of path-images related by re-parametrisation, i.e. homeomorphisms or diffeomorphisms of Σ Σ . When M is time-orientable, the curve is oriented if the parameter change is required to be monotonic.