等價不等式;等勢不等式;等積不等式