「写像 f:X->Y に対し、g:Y->X で gf=id_X, fg=id_Y
となるものが存在すれば f は全単射」
というのは集合と写像の問題で習ったことはない？