單射

設 是定義在 集合 上且取值於集合 的函式。那麼， 被稱為單射（或單射對映，或嵌入），如果每當 時，必然有 。等價地， 意味著 。換句話說， 是單射當且僅當它將不同的物件對映到不同的物件。單射有時也稱為一對一。

線性變換是單射的，如果函式的核為零，即函式 是單射當且僅當 。

既是單射又是滿射的函式被稱為雙射。

在集合、群、模等範疇中，單態射與單射相同，並且在範疇論之外與“單射”同義使用。