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:
“We are now going through a period of demolition. In morals, in social life, in politics, in medicine, and in religion there is a universal upturning of foundations. But the day of reconstruction seems to be looming, and now the grand question is: Are there any sure and universal principles that will evolve a harmonious system in which we shall all agree?”
—Catherine E. Beecher (1800–1878)