◀ ▲ ▶Branches / Set-theory / Definition: Embedding, Inclusion Map

Definition: Embedding, Inclusion Map

Let \(M\) be a set and let \(T\subseteq M\) be its subset. The canonical) embedding (or inclusion map) is a function. \[\iota :\cases{T\longmapsto M,\cr \iota (x)\longmapsto x},\]

i.e. it maps each element \(x\in T\) into itself, treated as an element \(x\in M\).

Thank you to the contributors under CC BY-SA 4.0!

Github:

non-Github:

@Brenner

References

Adapted from CC BY-SA 3.0 Sources:

1. Brenner, Prof. Dr. rer. nat., Holger: Various courses at the University of Osnabrück