更改

\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" />]]

下面介绍具体如何构建三源变量的冗余晶格：

下面介绍具体如何构建三源变量的冗余晶格：