練習問題 2.1.9

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





    

  • 非反射律

    not (a < a)
    • 

  • 推移律

     a < b かつ b < c ならば a < c
    • 

  • 非対称律

     a < b ならば not (b < a)
    



    •