Exact channel, subsystem, and algebraic interfaces

For $\mathcal{A}=\mathcal{B}({\mathcal{H}}_S)\otimes 1_{\overline{S}}$,

so the algebraic formula recovers the subsystem formula. Agreeing algebras and subsystems form ordered families; no general closure under joins or unions is asserted.