更改

1.<math>\textstyle \bigcup_{ \overset{\gets}{s} \in \overset{\gets}{\mathbf{S}}} \lbrack \overset{\gets}{s} \rbrack = \overset{\gets}{\mathbf{S}}</math>。

1.<math>\textstyle \bigcup_{ \overset{\gets}{s} \in \overset{\gets}{\mathbf{S}}} \lbrack \overset{\gets}{s} \rbrack = \overset{\gets}{\mathbf{S}}</math>。

2.⋃i=0k-1Si = S<-.

2.<math>\textstyle \bigcup_{ i=0} ^ {k-1} \mathcal{S}_i = \overset{\gets}{\mathbf{S}}</math>.

3.[s<-] = [s<-'] <=> s<-~ϵs<-'.

3.<math>\lbrack \overset{\gets}{s} \rbrack = \lbrack \overset{\gets '}{s} \rbrack \Harr \overset{\gets}{s}\sim_ϵ\overset{\gets'}{s}</math>.

4.如果s<-,s<-'∈S<-，则

4.如果<math>\overset{\gets}{s},\overset{\gets'}{s} \in \overset{\gets}{\mathbf{S}}</math>，则

（a) [s<-]⋂[s<-'] = ∅或

（a) <math>\lbrack \overset{\gets}{s} \rbrack \bigcap \lbrack \overset{\gets'}{s} \rbrack = \empty</math>或

（b）[s<-] = [s<-'].

（b）<math>\lbrack \overset{\gets}{s} \rbrack = \lbrack \overset{\gets'}{s} \rbrack</math>.

5. 因果态S是S<-的一个划分。也就是，

5. 因果态<math>\mathbfcal{S}</math>是<math>\overset{\gets}{\mathbf{S}}</math>的一个划分。也就是，

（a）Si != ∅对每一个i，

（a）<math>\mathcal{S}_i \not = \empty</math>对每一个i，

（b）⋃i=0 k-1 Si = S<-，并且

（b）<math>\textstyle \bigcup_{ i=0} ^ {k-1} \mathcal{S}_i = \overset{\gets}{\mathbf{S}}</math>，并且

  （c）Si⋂Sj = ∅对所有的i != j。

（c）<math>\mathcal{S}_i \bigcap \mathcal{S}_j = \empty</math>对所有的<math>i \not = j</math>。

我们用S0表征开始状态。开始状态是关联到s<- = λ。也就是说，S0 = [λ]。

我们用<math>\mathcal{S}_i</math>表征开始状态。开始状态是关联到<math>\overset{\gets}{s} = λ</math>。也就是说，<math>\mathcal{S}_0 = \lbrack \lambda \rbrack</math>。

=== 时间反演 ===

=== 时间反演 ===

由正向扫描序列观测到的因果态的定义和属性，例如，因果态S->/~ϵ，遵从类似附录B的继承。更一般地，S<-/~ϵ != S->/~ϵ。也就是，过去的因果态是不必须和将来因果态相同；过去和将来变体可以不同；不象熵速率【15】，过去和将来统计复杂度必须不相等：Cμ<-!=Cμ->；凡此种种。出现或缺失这种时间反演对称类型，如这些不等式反映的，是一个过程的基本属性。

由正向扫描序列观测到的因果态的定义和属性，例如，因果态S->/~ϵ，遵从类似附录B的继承。更一般地，S<-/~ϵ != S->/~ϵ。也就是，过去的因果态是不必须和将来因果态相同；过去和将来变体可以不同；不象熵速率【15】，过去和将来统计复杂度必须不相等：Cμ<-!=Cμ->；凡此种种。出现或缺失这种时间反演对称类型，如这些不等式反映的，是一个过程的基本属性。