定義
S = (f_i：X_i → X)_I を吸い込み(>>16)とする。
任意の射の対 u：X → T、v：X → T に対して
uS = vS なら u = v となるとき、S を全吸い込み(epi-sink)と言う。