熟悉密度算符相关概念，请先阅读条目密度算符。
严格定义.假设一个复合系统是由两个子系统A、B所组成，这两个子系统A、B的希尔伯特空间分别为formula_9、formula_10，则复合系统的希尔伯特空间formula_11为张量积设定子系统A、B的量子态分别为formula_13、formula_14，假若复合系统的量子态formula_15不能写为张量积formula_16，则称这复合系统为子系统A、B的缠结系统，两个子系统A、B相互缠结。
纯态.