## inverse

Then $F$ is the homeomorphism $X\to Y$ inverse to $G$.
No $x$ has more than one inverse.