Galois connections and complete lattices