Corollary: Ancestry bounds influence

If operational influence means a change of unconditioned output law under a trace-preserving local intervention, then

The inclusion need not be equality.

Proof. An intervention outside the ancestors preserves their reduced state, even for entangled initial states. Apply Theorem thm:order. For strict inclusion, declare a memory input but return the constant answer $0$. The memory is scheduled but not influential.