有等式的性质