Definition: Supplied causal relation

Let $X$ be a separately declared spatial carrier with distance $d_{C^{\ast }}$, including any stipulated metric-length completion. On $\mathbb{R}\times X$, define

A comparison with operational events additionally requires a declared location map $\ell :E\to \mathbb{R}\times X$. The carrier, distance, calibration, and completion are inputs to this comparison.