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