。换句话说，某个任意函数"f"是下伴随，当且仅当形如{ "x" ∈ "A" | "f"("x")≤ "b", "b" ∈ "B"}的每个集合都包含最大元素。还有，这可对偶化到上伴随。
在编程理论中的应用.伽罗瓦连接在编程语言的抽象释义理论中可被用于描述多种形式的抽象。
引用."A freely available introduction to Galois connections, presenting many examples and results