"xRn"对于所有"n"formula_11"N"}。则"F"和"G"生成在"X"和"Y"的幂集之间的一个反序伽罗瓦连接，这两个集合都用集合包含formula_1来排序。在线性代数中的一个重要的特殊情况是零化子（annihilator），它包括了正交补作为特殊情况。
像和逆像.如果"f" : "X" → "Y"是个函数，则对于任何"X"的子集"M"我们可以形成"F"("M") = "f"("M") = {"f"("m") : "m"formula_11"M"}，和对于任何"Y