定義
Set を集合全体の圏(過去スレ017の342)とする。
S = (f_i：X → X_i)_I を Set における湧き出し(>>713)とする。
X の任意の相異なる２点 x、y に対して f_i(x) ≠ f_i(y) となる i ∈ I があるとき
S を点分離湧き出し(point separating source)と呼ぶ。