>>858
現実的にはそうだね
ごめん、厳密にはよくわからない

もうちょっと確からしい言い方をすれば、ポインタa,bについてa<bが真なら、b-aの演算結果が正になるはず