An algebraic extension of K of a field k, contained in the algebraic closure K̄ of k, such that every injective homomorphism of K into K̄, inducing the identity on k, is an automorphism of K.