Definition: Complete instrument

A finite instrument is a family of completely positive maps $\{{\mathcal{I}}_x{\}}_{x\in \mathsf{X}}$ whose sum is trace preserving. Its complete classical–quantum output channel is

Failure outcomes are included in $\mathsf{X}$.