>>519
逆写像が存在することと全単射であることは同値。