Paar von Abbildungen σ : P → L und τ : L → P, wobei P_< und L_< Ordnungen sind, für das gilt:

1. σ und τ sind antiton,
2. στx ≥ x für alle x ∈ P,
3. τσz ≥ z für alle z ∈ L.

Ist (σ, τ) eine Galois-Verbindung zwischen P_< und L_<, dann gilt:

1. σταx = σx, x ∈ P,
2. τστz = τz, z ∈ L.