Definition: Operational influence

An external port belongs to ${\mathsf{Inf}}_{\mathcal{C}}^{-}(Y)$ if some admitted initial state and two trace-preserving local interventions at that port give different unconditioned output laws on $Y$.