Einbettbarkeit

Die Relation, dass eine Struktur injiziert in eine andere abgebildet werden kann durch einen injektiven Homomorphismus (Embedding), der die Interpretationen aller Symbole erhält und, je nach gewählter Definition, Relationen wie gefordert reflektiert. Ein Einbettbarkeit behauptet, dass eine Kopie der ersten Struktur in der zweiten existiert bis auf Isomorphie auf das Bild.