1変数関数の単射(1対1)

1変数関数の属性と諸類型から、1変数関数の単射(1対1)を別ページに独立させる。