◀ ▲ ▶Branches / Settheory / 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 BYSA 4.0!
 Github:

 nonGithub:
 @Brenner
References
Adapted from CC BYSA 3.0 Sources:
 Brenner, Prof. Dr. rer. nat., Holger: Various courses at the University of OsnabrÃ¼ck