In mathematics, especially in order theory, a Galois connection is a particular correspondence between two partially ordered sets. Galois connections find applications in various mathematical theories. Wikipedia