完全正値写像

作用素の空間の線形写像 $\Phi$ が 正 であるとは、半正定値を半正定値に写すこと。さらに、任意の補助系 $\mathbb{C}^N$ について $\Phi\otimes\mathrm{id}_N$ も正であるとき 完全正値（CP）という。たとえば $\Phi(\rho)=\sum_iK_i\rho K_i^\dagger$（Kraus 形）は CP である。