Eigenschaft der Endlichen Einbettbarkeit

Eine algebraische oder logische Eigenschaft einer Klasse (endlicher) Strukturen, die besagt, dass jede endliche partielle Teilstruktur (oder endliche partielle Algebra, die lokal das Diagramm der Klasse erfüllt) in irgendeine endliche volle Struktur der Klasse eingebettet werden kann; informell: endliche konsistente lokale Stücke lassen sich zu endlichen globalen Mitgliedern der Klasse erweitern.