Completely Positive

$\Psi :\Phi ⨂I_n$ is a Positive operator for any $n$-dimensional identity map $I_n$.