User:Mct mht/Choi-Effors for operator systems

Abstract characterization of operator systems

Definition of *-vector space with a positive cone Positive cones over matrices. Archimedean matrix order unit. Elementary properties.

Lemma Order-induced norm on matrices.

Statement of the theorem

Outline of proof