Remark: Restriction versus extension

A state on a unital $C^{\ast }$-subalgebra has a state extension to the ambient algebra by the usual positive extension theorem. This does not provide a canonical extension, an affine extension channel, or independently compatible extensions for several regions. None is required in the proof above.