Let be an extension field of . A Galois closure of is a field that is a Galois extension of and is minimal in that respect, i.e. no proper subfield of containing is normal over .