更改

其中 <math>\text{Red}(X_1,X_2;Y) + \text{Unq}(X_1;Y \setminus X_2) = I(X_1;Y)</math> , <math>\text{Red}(X_1,X_2;Y) + \text{Unq}(X_2;Y \setminus X_2) = I(X_2;Y)</math>。

其中 <math>\text{Red}(X_1,X_2;Y) + \text{Unq}(X_1;Y \setminus X_2) = I(X_1;Y)</math> , <math>\text{Red}(X_1,X_2;Y) + \text{Unq}(X_2;Y \setminus X_2) = I(X_2;Y)</math>。

信息分解除了能够被韦恩图所直观的呈现，更常被表示为晶格图的形式以在更多变量的情况下维持简洁的结构。晶格图（lattice）是抽象代数中研究的一种抽象结构，它由一个偏序集组成。信息分解所得到的信息原子也可以被描述为一组冗余晶格。该晶格图包含了由源变量集合的所有非空子集所组合构成的所有（无重复变量的）集合，每一个这种集合对应了一个节点。以两变量 <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）是抽象代数中研究的一种抽象结构，它由一个偏序集组成。信息分解所得到的信息原子也可以被描述为一组冗余晶格。该晶格图包含了由源变量集合的所有非空子集所组合构成的所有（无重复变量的）集合，每一个这种集合对应了一个节点。以两变量 <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|替代=|无框]]