可逆
射
$ f:A\rightarrow B
に対し、
逆射
$ g:B\rightarrow A
が存在し、
$ gf=1_A
かつ
$ fg=1_B
となることを
可逆
と言う