Galois connection
运算"x"\"y"和"y"/"x"分别叫做"y"对"x"的“右剩余”和“左剩余”。如符号所暗示的那样它们是某种形式的商。更加精确地说，对于一个给定的"L"中的"x"，一元运算"x"·和"x"\是在L和它的序对偶之间的伽罗瓦连接的两极，并且对偶于两个函数·"y"和 /"y"。通过同样适用于伽罗瓦连接的推理，我们有了另一个剩余的定义，就是：