更改

=== 定义“梯径” ===

=== 定义“梯径” ===

对于一条使我们达到最终目的的路径[math]\displaystyle{S_0 \rightarrow S_1 \rightarrow S_2 \rightarrow \dots \rightarrow S_n \Rightarrow \mathcal{X}}[/math],我们以如下的方法来构造偏序多重集 [math]\displaystyle{\mathcal{J}_{\mathcal{X}}}[/math]：

对于一条使我们达到最终目的的路径[math]\displaystyle{S_0 \rightarrow S_1 \rightarrow S_2 \rightarrow \dots \rightarrow S_n \Rightarrow \mathcal{X}}[/math],我们以如下的方法来构造偏序多重集 [math]\displaystyle{\mathcal{J}}[/math]：

1. 取最终的集合 $$S_n$$；

1. 取最终的集合 [math]\displaystyle{\mathcal{S}}[/math]；

2. 删掉所有重数为零的元素；

2. 删掉所有重数为零的元素；

4. 保留所有的偏序不变。

4. 保留所有的偏序不变。

该过程构造出的这个偏序多重集$$\mathcal{J}$$，称为这条路径的“梯径”（Ladderpath）。

该过程构造出的这个偏序多重集[math]\displaystyle{\mathcal{J}}[/math]，称为这条路径的“梯径”（Ladderpath）。

任一梯径都能被完备地表示为一个偏序多重集。但有时候将梯径用图的形式表示可能更为直观，称为“梯图”，其中的层次即为梯径的偏序关系，组件之间的连接表示生成操作（比如 E 和 F 向上连接到 EF，表示 EF 由 E 和 F 生成）。

任一梯径都能被完备地表示为一个偏序多重集。但有时候将梯径用图的形式表示可能更为直观，称为“梯图”，其中的层次即为梯径的偏序关系，组件之间的连接表示生成操作（比如 E 和 F 向上连接到 EF，表示 EF 由 E 和 F 生成）。