Fraïssé-Limit

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.