En general, todos los elementos de un conjunto algebraicamente independiente sobre "K" son necesariamente trascendentes sobre "K", pero eso está lejos de ser una condición suficiente.