得"x"·"y" ≤ "z"。运算"x"\"y"和"y"/"x"分别叫做"y"对"x"的“右剩余”和“左剩余”。如符号所暗示的那样它们是某种形式的商。更加精确地说，对于一个给定的"L"中的"x"，一元运算"x"·和"x"\是在L和它的序对偶之间的伽罗瓦连接的两极，并且对偶于两个函数·"y"和 /"y"。通过同样适用于伽罗瓦连接的推理，我们有了另一个剩余的定义，就是：并且要求这些函数必须在L上是单调的（或反单调的，在被看作从L到它的序对偶的函数的时候，这是在格理论中表示伽罗瓦连接的更标准的方式）。其意