One doubt here, in 1.5.2, a Galois connection between the posets of partions of two sets \$$S,T\$$ is built, given any function \$$g:S \to T\$$. Can this construction be generalized for arbitrary relations \$$G \subseteq S \times T\$$, so one still attains a Galois connection as before?