Let $(f;g)$ is a Galois connection between two posets.
Consider the special case $g\circ f = \operatorname{id}_{\operatorname{dom} f}$.
What can be said about this special case of Galois connections? Does there exist a special term for this kind of Galois connections?