練習問題 2.1.9

すべてのインスタンス宣言で
(<)
が満たすべき性質とは何か.



  • 非反射律
    not (a < a)
  • 推移律
     a < b かつ b < c ならば a < c
  • 非対称律
     a < b ならば not (b < a)