一个偏序下的最小元素和最大元素的映射同样如此。进一步的说，甚至完全格可以用存在合适的伴随作为其特征。这些思考给出了伽罗瓦连接在序理论中无处不在的印象。
二元关系和零化子.假设"X"和"Y"是任意集合并给出在"X"和"Y"之上的二元关系"R"。对于任何"X"的子集"M"，我们定义"F"("M") = { "y"formula_11"Y" : "mRy"对于所有"m"formula_11"M"}。类似的，对于任何"Y"的子集"N"，我们定义"G"("N") = { "x"formula