Sei T eine Teilmenge von X, so heißt die Funktion , die jedem Element aus T dasselbe zuordnet, also , eine Einbettung von T in X.
Siehe auch: injektive Funktion, identische Abbildung