Definition:Galois Extension/Finite

Definition
A finite degree field extension $L/K$ is Galois if it is normal and separable.