统formula_116 、formula_15 的偏迹数（partial trace）。这复合系统的两个子系统之间没有任何关联（没有任何量子关联或经典关联），若且唯若 formula_8 是 formula_126 与 formula_127 的张量积：
约化密度算符.约化密度算符最先由保罗·狄拉克于1930年提出。假设两个希尔伯特空间formula_129、formula_130的规范正交基分别为formula_131、formula_132，分别在这两个希尔伯特空间for