在数学中，特别是在次序论中，伽罗瓦连接是在两个偏序集("poset")之间的特殊的对应。伽罗瓦连接一般化了伽罗瓦理论中在子群和子域之间的对应。它们用于各种数学理论和编程理论中。

伽罗瓦连接要弱于在涉及到的两个偏序集之间的同构，但是所有的伽罗瓦连接都引发特定在两个子偏序集之间的同构。

定义

假定 (a, ≤) 和 (b, <=) 是两个偏序集。在这些偏序集之间的伽罗瓦连接由两个单调的函数组成: f : a → b 和 g : b → a, 使得对于所有的 a 中的 a 和 b 中的 b，我们有

f(a) <= b 当且仅当 a ≤ g(b)。

在这种情况下，f 叫做 g 的下共轭，而 g 叫做 f 的上共轭。