a+b≤a+c(2) 对任意实数a,b,0≤a," property="og:description"/>
"实数集是有序的"的意思是说实数集上有一个全序≤,并且满足
(1) 对任意实数a,b,c,b≤c => a+b≤a+c
(2) 对任意实数a,b,0≤a,0≤b => 0≤a