全単射ならone-to-one correspondenceじゃねーか?