Limite de Fraïssé
Définition
Structure dénombrable ultrahomogène dont l'âge coïncide avec une classe dénombrable de structures finies fermée par sous-structures et isomorphismes, munie des propriétés d'embedding conjoint et d'amalgamation ; elle est unique à isomorphisme près et réalise tous les motifs finis de cette classe.