Admissible interventions

For input $A\subseteq X$, an intervention is any CPTP map

It is deterministic and nonselective. A locally measured outcome may be retained as an additional declared output, but conditional normalization of a selected branch is not an intervention in this definition.

For output $B\subseteq Y$, put