>>537
数直線を考えれば、a<=bかつb<cのとき、a<cとなる

p⇒q (pならばq) かつ q⇒p (qならばp)
が成立するときp⇔q