将此偏序应用于<math>\mathcal{A}(S)</math>的元素,便得到[[冗余晶格]](redundancy lattice)(见下图展示了三源变量的[[冗余晶格]]结构和其对应的韦恩图),该偏序给出了不同反链之间的包含关系;[[冗余函数]]在该偏序上是单调的,进而可通过[[莫比乌斯反演]]定义[[部分信息原子]]。 | 将此偏序应用于<math>\mathcal{A}(S)</math>的元素,便得到[[冗余晶格]](redundancy lattice)(见下图展示了三源变量的[[冗余晶格]]结构和其对应的韦恩图),该偏序给出了不同反链之间的包含关系;[[冗余函数]]在该偏序上是单调的,进而可通过[[莫比乌斯反演]]定义[[部分信息原子]]。 |