Up 不等式  

  • 二つの対象式ａ，ｂと記号＜でつくられるつぎの記号列は，「不等式」と呼ばれる関係式：
ａ＜ｂ


  • 推論（← 公理＆推論規則）の例

      数項ａ，ｂに対し，ａ＜ｂが真であるときａ＋ｃ＜ｂ＋ｃも真。