 ##  [Galois‑Verbindung](/de/node/59350) 

  ##  [Galois‑Verbindung](https://natural.quantumdictionary.io/de/node/59351) 

  
 [![Natural & Formal Sciences Dictionary](/sites/default/files/styles/large/public/2026-01/Natural%20%26%20Formal%20Sciences.png.webp?itok=2kCDRVQv)](/topic-specific-dictionaries/natural-formal-sciences)


**Natural &amp; Formal Sciences Dictionary**

 
Definition

Ein Paar monotoner Abbildungen zwischen Posets (f : P → Q, g : Q → P) sodass für alle p∈P und q∈Q gilt: f(p) ≤_Q q genau dann, wenn p ≤_P g(q). Äquivalent dazu, dass f linksadjungiert zu g ist, wenn Posets als Kategorien betrachtet werden. Sie liefert eine residuelle Korrespondenz, die Approximation und Abschlussoperatoren verknüpft.

 
 ##  [Galois‑Verbindung](https://mathlogic.quantumdictionary.io/de/node/60249) 

  
 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Definition

Ein Paar monotoner Abbildungen zwischen partiell geordneten Mengen, wobei die eine linksadjungiert und die andere rechtsadjungiert ist, so dass die Komposition beidseitige Ordnungsungleichungen erfüllt (f(a) ≤ b genau dann, wenn a ≤ g(b)); diese Korrespondenz verknüpft schließungsähnliche und kernähnliche Operationen und organisiert Dualitäten zwischen Verbänden und ihren Bildern.

 
 ##  [Galois‑Verbindung](https://puremath.quantumdictionary.io/de/node/61596) 

  
 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics &amp; Logic -

**Pure Mathematics Dictionary**

 
Definition

Ein Paar monotoner (ordnungserhaltender) Abbildungen zwischen Posets, L: P→Q und R: Q→P, so dass für alle p∈P und q∈Q gilt: L(p) ≤ q genau dann, wenn p ≤ R(q); dies erzeugt eine inklusionsumkehrende, einer Abschlussoperation ähnliche Korrespondenz zwischen den beiden Ordnungen.