展开 行简化阶梯型的定义