Completely Positive

If $\Phi ⨂I_n$ is a positive operator for any $n$-dimensional identity map $I_n$, then $\Phi$ is completely positive.

Dynamical Maps $\Phi$ are completely positive by definition.