主要讨论有限链L上的分配性方程F(G1(x,y),z)=G2(F(x,z),F(y,z))。分别针对以下情况对上述分配性方程的解进行特征刻画:(a) F为光滑三角模,G1=G2 为光滑三角余模(F为光滑三角余模,G1=G2为光滑三角模);(b)F为S-蕴涵(或R-蕴涵),G1为光滑三角模且G2为光滑三角余模;(c) F为S-蕴涵(或R-蕴涵),G1为光滑三角余模且G2为光滑三角模;(d) F为S-蕴涵(或R-蕴涵),G1和G2均为光滑三角模;(e) F为S-蕴涵(或R-蕴涵),G1和G2均为光滑三角余模。