部分関数

• 部分関数は気持わるいものじゃない

• http://en.wikipedia.org/wiki/Relation_(mathematics)の中程にあるfunctional(also called right-unique)のことらしい
• このSpecial_types_of_binary_relationsのcheatsheet的なものはあれば便利かも