| 第951行： |
第951行： |
| | 最后，我们列出因果态等价类的若干基本属性 | | 最后，我们列出因果态等价类的若干基本属性 |
| | | | |
| − | 1.⋃s<-∈S<-[s<-] = S<-. | + | 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.⋃i=0k-1Si = S<-. |