sentences:  Operator system
  
  Given a unital C*-algebra formula_1, a *-closed subspace "S" containing "1" is called an operator system.One can associate to each subspace formula_2 of a unital C*-algebra an operator system via formula_3.