Oración 1: localmente finita: Como el lenguaje L = { <} ∪ {Rn,i |n, i ∈ N} es un lenguaje relacional, todas las subestructuras finitamente generadas de A son finitas
Oración 2: ∀B ∈ Age(A), se tiene que B es una estructura finita
Conector: por lo tanto,
Relación: reasoning
Género: theses