Galois connection
并且要求这些函数必须在L上是单调的（或反单调的，在被看作从L到它的序对偶的函数的时候，这是在格理论中表示伽罗瓦连接的更标准的方式）。其意义在于使函数"x"·和"x"\相互之间是伪逆（pseudoinverse）或伴随，·"x"和 /"x"也类似。