定義
S = (f_i：X_i → X)_I を吸い込み(>>16)とする。
各 i ∈ に対して T_i = (g_(i,j)：X_(i,j) → X_i)、j ∈ J_i を吸い込みの族とする。
このとき吸い込み (f_ig_(i,j)：X(i,j) → X)、i ∈ I、j ∈ J_i を
S(T_i) と書き、族 (T_i)_I と S の合成と呼ぶ。