Galois Theory

If there exists a One-to-One correspondence between two Subgroups and Subfields such that

$$G(E(G')) = G'$$

$$E(G(E')) = E',$$

then $E$ is said to have a Galois theory.