 Completely positive map

A linear map $\Phi$ between matrix algebras is completely positive when $\Phi \otimes {\mathrm{id}}_r$ is positive for every ancillary dimension $r$. In finite dimensions this is equivalent to positivity of its Choi matrix and to the existence of a Kraus representation.