命題
S = (f_i：X_i → X)_I を吸い込み(>>16)とする。
各 i ∈ I に対して T_i = (g_(i,j)：X_(i,j) → X_i)、j ∈ J_i を吸い込みとする。

このとき、吸い込みの合成 S(T_i) (>>18)が全吸い込み(>>19)であれば S は全吸い込みである。

証明
過去スレ018の735と双対原理(過去スレ018の159)。