更改

对成块的划分 <math>\Phi</math>定义宏观动力学后，我们就能走另外一条路径了：'''微观状态->粗粒化->宏观动力学->宏观状态'''。我们发现这和'''微观状态->微观动力学->粗粒化->宏观状态'''这两条路径，'''从任意一个微观状态出发，都能到达相同的宏观状态。'''所以，这满足了'''动力学'''和'''粗粒化'''这两个'''算子'''的'''可交换性（Exchangeability）'''。具体的证明我们会在后面的‘成块性满足的性质’部分介绍。

根据成块划分 <math>\Phi</math>定义好宏观动力学后，我们就能走另外一条路径了：'''微观状态->粗粒化->宏观动力学->宏观状态'''。我们发现这和'''微观状态->微观动力学->粗粒化->宏观状态'''这两条路径，'''从任意一个微观状态出发，都能到达相同的宏观状态。'''所以，这满足了'''动力学'''和'''粗粒化'''这两个'''算子'''的'''可交换性（Exchangeability）'''。具体的证明我们会在后面的‘成块性满足的性质’部分介绍。