175
个编辑
更改
跳到导航
跳到搜索
第320行：
第320行： − +
→冗余格
其中 <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>to<math>{12}</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>，若对每个源