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