Juega un papel importante en la demostración del Teorema de Löwenheim-Skolem ascendente.