Que $K$ un campo y $K(X)$ el ámbito de sus funciones racionales.
Ahora que $\phi \in K(X)$ ser una función racional tal que $K(\phi) \neq K(X)$.
Ahora, puesto que $\phi$ es trascendental $K$, $K(\phi)$ es isomorfo a $K(X)$.
¿Esto es un ejemplo de un campo es isomorfo a su subcampo correcto?
¿Hay otros ejemplos?