Mengentheorie/Einbettung/Definition

Einbettung

Es sei ${}M$ eine Menge und ${}T\in M$ eine Teilmenge davon. Die natürliche Einbettung oder kanonische Inklusionsabbildung bildet jedes Element in ${}T$ auf sich selbst in ${}M$ ab:

$i\colon T\longrightarrow M,\,x\longmapsto x.$