Completely Positive

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