Exact complete-channel identity

Let ${\hat{\Phi }}_{\Gamma }$ be the source network channel on its named logical ports. Let ${\hat{\Phi }}_{\Gamma ,n}^{\mathrm{phys}}$ be the constructed physical channel.

Let ${\mathcal{E}}_n$ insert the logical inputs into their reserved input factors and insert all required product blanks. Let ${\mathcal{D}}_n$ select and identify the named output factors, tracing unused factors. These are mathematical port comparison channels.