injektiveAbbildung, Abbildung f : A → B, so daß für alle y ∈ B gilt, daß #f⁻¹({y}) ∈ {0, 1}, das heißt, jedes Element des Bildbereiches von f ist das Bild höchstens eines Elementes des Urbildbereiches von f. Man schreibt dann auch f : A ↪ B.