如果$x>0$，$y< 0$，则$x-y>0$

若$a$、$b$异号，且$a-b< 0$，则$b< 0< a$

$0$减去一个有理数，差等于这个减数的相反数

若$a$、$b$异号，且$a-b>0$，则$b< 0< a$