对于某个划分得到的宏观态集合<math>\mathcal R</math>,其为因果态的充要条件是:对于任意的宏观态<math> \mathcal R_i</math>,对于任意的<math>\forall i, \forall \overleftarrow{s_t},\overleftarrow{s_{t^{'}}} \in \mathcal R_i</math>,有: | 对于某个划分得到的宏观态集合<math>\mathcal R</math>,其为因果态的充要条件是:对于任意的宏观态<math> \mathcal R_i</math>,对于任意的<math>\forall i, \forall \overleftarrow{s_t},\overleftarrow{s_{t^{'}}} \in \mathcal R_i</math>,有: |