集合論の言葉による二項演算の表現 前々回は写像を集合論の言葉で定義し、使えるようにした。二項演算はこの写像として定義できるので、今回は二項演算を定義する。これによって、以前定義した自然数に足し算などの演算を与えることができる。 シリーズ: 集合論の言葉を使おう (準備編) 2018/05/20 k.izumi タグ:集合論 , 公理的集合論 , 自然数 , 乗法 , 二項演算 , 加法 , 直和