本质单同态是一类特殊的单同态，是多余满同态的对偶概念。若f:K->M是模的单同态，并且Im f是M的本质子模，则称 f 是本质单同态。由于Imf QM，所以 f 也较接近于满同态。一个单同态 f 是本质的充分必要条件是：对所有的同态h，若hf是单的，则h也是单的。