更改

=====因果态=====

=====因果态=====

我们可以直接将因果态定义为一个划分映射，即<math>\epsilon{:}\overleftarrow{S}\mapsto2^{\overset{\leftarrow}{S}}</math>，其中<math> 2^{\overset{\leftarrow}{S}}</math>是<math> \overleftarrow{S}</math>的幂集。

我们可以直接将因果态定义为一个从状态集到状态子集的映射，即<math>\epsilon{:}\overleftarrow{S}\mapsto2^{\overset{\leftarrow}{S}}</math>，其中<math> 2^{\overset{\leftarrow}{S}}</math>是<math> \overleftarrow{S}</math>的幂集，且[math]\epsilon[/math]需要满足如下条件：

 

且[math]\epsilon[/math]需要满足如下条件：

<math>

<math>