伽羅瓦聯絡(Galois connection)偏序集之間對應的一種特殊聯繫.設P,Q是任意兩個偏序集，令，:二~二‘與} : y-'y十分別為屍~Q與Q-} h的映身寸，若適合:1.若二}x;則二‘i x i.;2.若y毛y、則y+妻y;3.二錢(二‘廣及y錢}y+}‘;則稱映射gyp; x}x‘與}, : y->夕在P和Q之間定義一個伽羅瓦聯絡.
