Assume that we have a Galois connection formed by two monotone maps $f\colon X\to Y$ and $g\colon Y\to X$.
I want to know whether the following statement is true: if $f$ is bijective, then $f$ is an order-isomorphism, that is, $f(x)\leq f(y)$ implies $x\leq y$. I don't find any example in which it fails.