>821
　整理してみました。

　なぜ、それが変に思えていたのかというと、
a<=b とあって、定義からはa=b のみ成立します。
　a<=b という表記した場合、a=bという関係と、a<bという関係のうち、
　以後の証明に使うことが許される関係は、a=bだけですよね？
　というか、a<bという関係を使って何か証明を続けるとかは
　できないはずなんです。
　じゃ、なぜわざわざ以後の証明のなかで使ってはならない
　関係を含めて、a<=bと書くのか？
　そのように書いてしまうと、間違って＜のほうの関係を
　使ってしまうのではないか？
　などと、考えてしまうわけです。
　これって変ですか？