Up 「一意対応」→「関数」(「関数」の集合論的定式化)  


  1. 一意対応

  2. 定義域，値域