Noun
Galois connection (plural Galois connections)
(category theory, order theory) A type of correspondence between partially ordered sets (posets), also applicable to preordered sets.
A pair of adjoint functors between two partially ordered sets is called a Galois connection (or, if it is contravariant, an antitone Galois connection). Source: Internet
Any Galois connection gives rise to closure operators and to inverse order-preserving bijections between the corresponding closed elements. Source: Internet
Thus, in particular, forming the annihilator is a Galois connection on the lattice of subsets of a finite-dimensional vector space. Source: Internet