g(f(x))=xは、すべてのx∈Xで成立するのか?