給定含么C*-代數 A {\displaystyle {\mathcal {A}}} ,包含1的*-閉合子空間S稱作算子系統。可通過 S := M + M ∗ + C 1 {\displaystyle S:={\mathcal {M}}+{\mathcal {M}}^{*}+\mathbb {C} 1} 給含么C*-代數的每個子空間 M ⊆ A {\displaystyle {\mathcal {M}}\subseteq {\mathcal {A}}} 關聯一個算子系統。
算子系統之間的適當態射是全正映射。
根據Choi & Effros的定理,算子系統可被描述為具有阿基米德矩陣階的*-向量空間。[1]