##  [Eigenschaft der Endlichen Einbettbarkeit](/de/node/59973) 

  ##  [Eigenschaft der Endlichen Einbettbarkeit](https://mathlogic.quantumdictionary.io/de/node/59974) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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.