在数学中，特别是在序理论中，伽罗瓦连接是在两个偏序集（"poset"）之间的特殊的对应。伽罗瓦连接一般化了伽罗瓦理论中在子群和子域之间的对应。它们用于各种数学理论和编程理论中。伽罗瓦连接要弱于在涉及到的两个偏序集之间的同构，但是所有的伽罗瓦连接都引发特定在两个子偏序集之间的同构。
定义.假定("A", ≤)和("B", <=)是两个偏序集。在这些偏序集之间的伽罗瓦连接由两个单调函数组成："F" : "A" → "B"和"G" : "B" → "A",使得对于所有的"A"中的"a