Galois connection

A Galois connection between posets consists of monotone maps $f:A\to B$ and $g:B\to A$ satisfying $f(a)\le b$ exactly when $a\le g(b)$; equivalently, $f$ is left adjoint to $g$ in the poset-enriched sense.