Es una extensión de cuerpos algebraica de "K" que tiene grado finito sobre "K".