ハイゼンベルク描像
(for all formula_23)である場合、無矛盾（あるいは強く無矛盾）である。ここで formula_24 は初期密度行列を表し、演算子はハイゼンベルク描像で表される。