集合論の概念と記号の使用例

集合の基本概念－定義と記号に、卑近な例をつけてみる。

1変数関数：狭義単調関数ならば単射

1変数関数の属性と諸類型に、
狭義単調増加関数ならば単射となることの証明
狭義単調減少関数ならば単射となることの証明
を追加。