不等式有哪些基本性质