Límite de Fraïssé
Definición
Estructura contable ultrahomogénea cuyo 'edad' coincide con una clase contable de estructuras finitas cerrada por subestructuras e isomorfismos y que satisface las propiedades hereditaria, de emparejamiento conjunto y de amalgama; es única a isomorfismo cercano y realiza todos los patrones finitos de esa clase.