Galois theory
Properties 4. and 5. are the basis of Galois theory, and, in particular, of the fundamental theorem of Galois theory.