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