伽罗华连接

定义：设$(A, \leq)$和$(B, \leq)$是两个偏序集(poset)，两个单调函数$f:A\to B$和$g:B\to A$，满足：

$$\forall a \in A, b \in b\quad f(a) \leq b \iff a \leq g(b)$$
这里， $f$为$g$的下伴随， $g$为$f$的上伴随。把形成伽罗华连接的两个函数看成同一对象的两个规定，把一对相应的上下伴随表示为 $f^*$和 $f_*$：
$$\forall a \in A, b \in b\quad f^*(a) \leq b \iff a \leq f_*(b)$$

序理论

幂集

$U$为集合，$A$，$B$是包含排序的$U$的幂集。选出$U$的一个子集$L$。则$f^*(M) = L \cap M, f_*(N) = N \cup (U - L)$