Un par de aplicaciones monotónicas (que preservan el orden) entre posets, L: P→Q y R: Q→P, tales que para todo p en P y q en Q, L(p) ≤ q si y sólo si p ≤ R(q); esto produce una correspondencia que invierte inclusiones y que se comporta como una operación de clausura entre los dos órdenes.

Principio

La idea organizadora es la adjunción en sentido orden-teórico: una aplicación es adjunta por la izquierda de la otra, codificando una mejor aproximación o traducción óptima de cotas entre órdenes e induciendo operadores de clausura y núcleo.

Demostración

Considere las posets de partes P(X) y P(Y) con una relación R ⊆ X×Y: definir L(A)={y | ∀x∈A, (x,y)∈R} y R(B)={x | ∀y∈B, (x,y)∈R}; estas forman una conexión de Galois entre P(X) y P(Y), produciendo operadores de clausura como la aplicación doble.

Aplicación incorrecta

Asumir que cualquier par de aplicaciones monotónicas es una conexión de Galois: sin la propiedad adjunta bicondicional, las aplicaciones no generan clausuras ni correspondencias de puntos fijos y pueden no reflejar fielmente cotas.

Consecuencia

Cuando existe, una conexión de Galois genera operadores de clausura, retículos de puntos fijos y correspondencias sistemáticas entre subobjetos (p. ej., subgrupos vs. subcampos), permitiendo clasificaciones por invariantes y transferencias adjuntas de estructura.

Inversión

Invertir la conexión intercambia adjuntos izquierdo y derecho y cambia la dirección de la inclusión; el par invertido es otra conexión de Galois que interpreta la relación de aproximación desde el otro lado.

Límite

Las conexiones de Galois requieren posets y aplicaciones monotónicas; excluyen entornos sin estructura de orden o donde las aplicaciones no son monotónicas, y no implican automáticamente adjunciones categóricas cuando existe un enriquecimiento más allá de órdenes.

Tensión semántica

Las conexiones de Galois están cerca de las adjunciones y de los operadores de clausura: la tensión aparece al decidir si enfatizar la pareja adjunta, la clausura derivada o la correspondencia de elementos cerrados como objeto de estudio principal.

Síntesis

Una conexión de Galois es una adjunción orden-teórica entre posets realizada por una aplicación monotónica izquierda y otra derecha que satisfacen una relación bicondicional de cotas, produciendo operadores semejantes a clausuras y correspondencias precisas entre elementos y sus mejores aproximaciones.