不等式有那些性质?用式子怎样表示它们?