更改

其中 <math>\mathcal{P}_{1}(\mathbf{R})=\mathcal{P}(\mathbf{R})\setminus\{\emptyset\}</math>为<math>\mathbf{R}</math>的所有非空子集的集合。

其中 <math>\mathcal{P}_{1}(\mathbf{R})=\mathcal{P}(\mathbf{R})\setminus\{\emptyset\}</math>为<math>\mathbf{R}</math>的所有非空子集的集合。

此后，我们将用带括号的索引简记<math>\mathcal{A}(\mathbf{R})</math>的元素，例如：

此后，我们将用带括号的索引简记<math>\mathcal{A}(\mathbf{R})</math>的元素，例如：

<math>{{R_{1},R_{2}}}</math>记为<math>{12}</math>，<math>{R_{1},{R_{2}，R_{3}}}</math>记为<math>{1}{23}</math>

<math>\{\{R_{1},R_{2}\}\}</math>记为<math>\{12\}</math>，<math>\{R_{1},\{R_{2}，R_{3}\}\}</math>记为<math>\{1\}\{23\}</math>

通过将上述思路进一步延伸，可在<math>\mathcal{A}(\mathbf{R})</math>的元素上定义一个偏序<math>\preccurlyeq</math>。

通过将上述思路进一步延伸，可在<math>\mathcal{A}(\mathbf{R})</math>的元素上定义一个偏序<math>\preccurlyeq</math>。

考虑两个源集合 <math>\alpha,\beta\in\mathcal{A}(\mathbf{R})</math>，若对每个源

考虑两个源集合 <math>\alpha,\beta\in\mathcal{A}(\mathbf{R})</math>，若对每个源