两个有理数的差即大于被减数,又大于减数,这个命题成立的必要条件是什么