Definition: Complete instrument

A finite-outcome instrument is a family $\{{\Phi }_k{\}}_k$ of completely positive maps such that ${\sum }_k{\Phi }_k$ is trace preserving. Its recorded channel is

A complete channel includes every reported outcome and every failure outcome. Classical discard sums blocks without conditional normalization.