Oración 1: definimos g : B → Q de la siguiente manera: • para todo i ∈ [n] definimos g(f(ai)) = h(ai)
Oración 2: basta ver que f respeta el orden <∗, pero dicho orden se escogió de tal manera que n <∗ m si y sólo si f(n) <∗ f(m), por lo que f ∈ Aut(A)
Relación: neutral
Género: theses