Oración 1: como el len- guaje es enteramente relacional, entonces S es finito
Oración 2: (S,<) es un orden lineal finito y, como f es un isomorfismo, entonces A también debe ser un orden lineal finito
Conector: por lo tanto
Relación: reasoning
Género: theses