Definition: Three relations

Scheduled reachability is reachability in the declared timed dependency graph.

An input port is in ${\mathsf{Inf}}_{\mathcal{C}}^{-}(Y)$ if some admitted input and two trace-preserving local interventions there give different unconditioned output laws on $Y$.

A physical causal relation ${⪯}_{\mathrm{phys}}$ is an independently supplied relation on physically located events.