が単射全体のクラスであるとき,は本質的単射と呼ばれる.
本質的単射