写像
「ただ一つ定まる」
二項関係