Einbettung

Eine injektive, struktur­erhaltende Abbildung von einem Objekt in ein anderes, die die Quelle als Unterobjekt des Ziels identifiziert, wobei häufig zusätzlich Reflexionseigenschaften verlangt werden (oft als injektiver Morphismus mit Zusatzbedingungen).