悉的形式和理论框架：狄拉克符号(BRA-KET符号)和量子力学的数学表述。本章节涉及到密度算符概念，若不熟悉密度算符相关概念，请先阅读条目密度算符。
严格定义.假设一个复合系统是由两个子系统A、B所组成，这两个子系统A、B的希尔伯特空间分别为formula_9、formula_10，则复合系统的希尔伯特空间formula_11为张量积设定子系统A、B的量子态分别为formula_13、formula_14，假若复合系统的量子态formula_15不能写为张量积formula_1