> g:Y→X　g(y)=x　とすると、

が分からない。
gを定義しているのだろうが、何の説明もなしにx,yが出てきているので意味をなさない。