전사가 아닌 f : X->Y에 대하여
g의 정의역의 모든 원소 x에 대하여
f(g(x))=x인 g:W->Z가 존재할 수 있나

또,
전사인 f:X->Y에 대하여
f(g(x))=x인 연속함수 g:Y->X 가 존재하면
f는 전단사, g=f^(-1) 인가요?

- dc official App