Einbettung

In verschiedenen Teilgebieten der Mathematik versteht man unter einer Einbettung eine Abbildung, die es ermöglicht, ein Objekt als Teil eines anderen aufzufassen. Häufig ist damit lediglich eine injektive Abbildung (im Fall „flacher“, d. h. unstrukturierter Mengen) oder ein Monomorphismus (strukturtreue injektive Abbildung, im Fall mathematischer Strukturen) gemeint. Ein Sonderfall ist die kanonische Einbettung (Inklusion) einer Untermenge oder Unterstruktur in eine sie enthaltende Menge bzw. Struktur. Ein Beispiel ist die kanonische Einbettung der reellen Zahlen in die komplexen Zahlen. Darüber hinaus gibt es in einigen Gebieten speziellere Einbettungsbegriffe.