Oración 1: notemos que XL es un espacio compacto por el teorema de Tychonoff y es T2 pues es un producto de espacios de Hausdorff
Oración 2: si consideramos la acción de G sobre XL definida como: dado A = (N, <A) y g ∈ G ≤ S∞, definimos B = g · A a la estructura cuyo universo son los naturales donde el orden se establece del tal manera que B ∼= A (i
Conector: por lo tanto,
Relación: reasoning
Género: theses