算子系统 给定含幺C代数 A displaystyle mathcal A 包含的闭合子空间S称作算子系统可通过 S  M  M   C  displaystyle Smathcal Mmathcal Mmathbb C  给含幺C代数的每个子空间 M  A displaystyle mathcal Msubseteq mathcal A 关联一个算子系统 算子系统之间的适当态射是全正映射 根据Choi  Effros的定理算子系统可被描述为具有阿基米德矩阵阶的向量空间