[cf. converse, opposite, reverse
Then F is the homeomorphism X→ Y inverse to G.
No x has more than one inverse.