更改

信息分解除了能够被韦恩图所直观的呈现以外，更常被表示为晶格图的形式以在更多变量的情况下维持其简洁的结构。晶格图（lattice）是抽象代数中研究的一种抽象结构，它由一个偏序集组成。信息分解所得到的信息原子也可以被描述为一种晶格结构，这一晶格结构被称为[[冗余晶格]]。该晶格图包含了所有反链（anti-chain），即由源变量集合的所有非空子集所组合构成的所有（无相互包含集合的）集合，每一个这种集合对应了一个节点。

信息分解除了能够被韦恩图所直观的呈现以外，更常被表示为晶格图的形式以在更多变量的情况下维持其简洁的结构。晶格图（lattice）是抽象代数中研究的一种抽象结构，它由一个偏序集组成。信息分解所得到的信息原子也可以被描述为一种晶格结构，这一晶格结构被称为[[冗余晶格]]。该晶格图包含了所有[[反链]]（anti-chain），即由源变量集合的所有非空子集所组合构成的所有集合（其中元素无相互包含关系），每一个这种集合对应了一个节点。

以两变量 <math>\{X_1,X_2\}</math> 为例，集合 <math> \{1,2\} </math>的所有非空子集包含 <math> \{1,2\} \quad \{2\} </math>和 <math> \{1\} </math>，因此所能构成的无重复变量的集合包括 <math>\{\{1,2\}\}</math> <math>\{\{2\}\}</math> <math>\{\{1\}\}</math> 和 <math>\{\{1\}\{2\}\}</math>。如下图所示，这些[[反链]]（anti-chain）与上图的信息原子一一对应，既<math>\{\{1,2\}\}</math> 对应协同信息，<math>\{\{2\}\}</math> 和 <math>\{\{1\}\}</math> 对应特有信息，<math>\{\{1\}\{2\}\}</math>对应冗余信息。

以两变量 <math>\{X_1,X_2\}</math> 为例，集合 <math> \{1,2\} </math>的所有非空子集包含 <math> \{1,2\} \quad \{2\} </math>和 <math> \{1\} </math>，因此所能构成的无重复变量的集合包括 <math>\{\{1,2\}\}</math> <math>\{\{2\}\}</math> <math>\{\{1\}\}</math> 和 <math>\{\{1\}\{2\}\}</math>。如下图所示，这些反链（anti-chain）与上图的信息原子一一对应，既<math>\{\{1,2\}\}</math> 对应协同信息，<math>\{\{2\}\}</math> 和 <math>\{\{1\}\}</math> 对应特有信息，<math>\{\{1\}\{2\}\}</math>对应冗余信息。

[[文件:Lattice_of_2.png|替代=|无框]]

[[文件:Lattice_of_2.png|替代=|无框]]