&lt;,&gt;,&gt;＝,&lt;＝実数として、大小関係を問う