定義
Set を集合全体の圏(過去スレ017の342)とする。
S = (f_i：X_i → X)_I を Set における吸い込み(>>16)とする。
X = ∪f_i(X_i) のとき S を合併的に全射(jointly surjective)であると言う。