Information sourced from Wikipedia

... b if and only if G(b) ≤ a. Examples The motivating example comes from Galois theory: suppose L/K is a field extension. Let A be the set of all subfields of L ...