Galois extension
The fundamental theorem says that this correspondence is a one-to-one correspondence if (and only if) "E"/"F" is a Galois extension.