Phát biểu quy tắc chuyển vế để biến đổi bất phương trình. Quy tắc này dựa trên liên hệ giữa thứ tự và phép toán nào trên tập số?