Application Complètement Positive

Une application complètement positive (CP) est une application linéaire Φ entre algèbres d'opérateurs telle que, pour tout système auxiliaire de dimension finie ou infinie quelconque, l'application étendue id_A ⊗ Φ envoie les opérateurs positifs sur des opérateurs positifs.