定義
吸い込み(>>16) S = (f_i：X_i → X)_I と射 f：X → Y に対して
吸い込み (ff_i：X_i → Y)_I を fS と書き、S と f の合成(composition)と呼ぶ。