175
个编辑
更改
跳到导航
跳到搜索
第450行：
第450行： − +
→冗余晶格
\end{equation}
\end{equation}
将此偏序应用于<math>\mathcal{A}(\mathbf{R})</math>的元素，便得到冗余晶格（redundancy lattice）(见下图展示了三源变量的冗余晶格结构和其对应的韦恩图)，该偏序给出了不同反链之间的包含关系；冗余函数在该偏序上是单调的，进而可通过莫比乌斯反演定义部分信息原子。
将此偏序应用于<math>\mathcal{A}(\mathbf{R})</math>的元素，便得到冗余晶格（redundancy lattice）(见下图展示了三源变量的冗余晶格结构和其对应的韦恩图)，该偏序给出了不同反链之间的包含关系；冗余函数在该偏序上是单调的，进而可通过莫比乌斯反演定义部分信息原子。
[[文件:674776478.png|替代=|居中|600x600像素]]
[[文件:674776478.png|替代=|居中|600x600像素|引自<ref name="Paul" />]]
下面介绍具体如何构建三源变量的冗余晶格：
下面介绍具体如何构建三源变量的冗余晶格：