1変数関数の全射

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