 ##  [Fraïssé-Limit](/de/node/60079) 

  ##  [Fraïssé-Limit](https://mathlogic.quantumdictionary.io/de/node/60080) 

  

 [![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 &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

Eine abzählbare Struktur, die ultrahomogen ist und deren Alter mit einer gegebenen abzählbaren Klasse endlicher Strukturen übereinstimmt, die unter Unterstrukturen und Isomorphien abgeschlossen ist und die Vereinigungs- und Amalgamierungseigenschaften besitzt; sie ist bis auf Isomorphie eindeutig und realisiert alle endlichen Muster der Klasse.