Given a unital C*-algebra a *-closed subspace S containing 1 is called an operator system. One can associate to each subspace of a unital C*-algebra an operator system via .
The appropriate morphisms between operator systems are completely positive maps.
By a theorem of Choi and Effros, operator systems can be characterized as *-vector spaces equipped with an Archimedean matrix order.
Famous quotes containing the word system:
“Television is an excellent system when one has nothing to lose, as is the case with a nomadic and rootless country like the United States, but in Europe the affect of television is that of a bulldozer which reduces culture to the lowest possible denominator.”
—Marc Fumaroli (b. 1932)