命題
S = (f_i：X → X_i)_I を湧き出し(>>713)とする。
ある j ∈ I に対して f_j：X → X_j が単射であれば
S は単湧き出し(>>715)である。

証明
自明である。